Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authoradvaithm <advaith.madhukar@gmail.com>2021-05-12 16:11:37 +0530
committeradvaithm <advaith.madhukar@gmail.com>2021-05-12 16:11:37 +0530
commitcee1b732b99cee7f0d409624800e7772a7291ef2 (patch)
tree1fd1a7c5aa2dfb630828f94eff45995cbabba589 /.github
parentaf3d65cc98632042b3b0ef62cfc27553261ec3b0 (diff)
an example mypy workflow
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/mypy.yaml12
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/mypy.yaml b/.github/workflows/mypy.yaml
new file mode 100644
index 00000000..18823a66
--- /dev/null
+++ b/.github/workflows/mypy.yaml
@@ -0,0 +1,12 @@
+on: [push, pull_request]
+name: Lint Python and Find Syntax Errors
+jobs:
+ lint:
+ runs-on: ubuntu-latest
+ container:
+ image: archlinux:latest
+ steps:
+ - uses: actions/checkout@v2
+ - run: pacman --noconfirm -Syu python python-pip mypy
+ - name: run mypy
+ run: mypy . --ignore-missing-imports \ No newline at end of file