Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnton Hvornum <anton@hvornum.se>2021-05-15 12:30:36 +0000
committerGitHub <noreply@github.com>2021-05-15 12:30:36 +0000
commit67659b2b38090f3724e876dbf325226673e082bf (patch)
tree2b8cad155bce7f06d176270dd4030fc37894e01b
parentbaf857f4180c6826e1fc08dee88d5f0b4872fd07 (diff)
parente8d241ec96070ab471eebf7cfc9094c341c42466 (diff)
Merge pull request #428 from advaithm/mypy-workflow
A example mypy workflow
-rw-r--r--.github/workflows/mypy.yaml12
-rw-r--r--mypy.ini0
2 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
diff --git a/mypy.ini b/mypy.ini
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/mypy.ini