Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorDaniel <blackrabbit256@gmail.com>2022-03-28 23:14:45 +1100
committerGitHub <noreply@github.com>2022-03-28 14:14:45 +0200
commitc92c448f294b10f6a8858d3df1c67fce90019803 (patch)
tree76b915d808242213290068882efb4c1cb32846d6 /.github
parentc614b3ed55ae39040c48cdf3f6a0c00098526ab1 (diff)
Fix some mypy things (#1023)
Co-authored-by: Daniel Girtler <girtler.daniel@gmail.com> Co-authored-by: Anton Hvornum <anton@hvornum.se>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/mypy.yaml5
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/mypy.yaml b/.github/workflows/mypy.yaml
index 4f4e938c..7987928d 100644
--- a/.github/workflows/mypy.yaml
+++ b/.github/workflows/mypy.yaml
@@ -12,5 +12,8 @@ jobs:
- run: pip install fastapi pydantic
- run: python --version
- run: mypy --version
+ # one day this will be enabled
+# - name: run mypy
+# run: mypy --strict --module archinstall || exit 0
- name: run mypy
- run: mypy --strict --module archinstall || exit 0 \ No newline at end of file
+ run: mypy --follow-imports=skip archinstall/lib/menu/selection_menu.py