CI: Put mypy into a separate workflow and add some useful arguments

[kconfig-hardened-check.git] / .github / workflows / static_typing_test.yml

diff --git a/.github/workflows/static_typing_test.yml b/.github/workflows/static_typing_test.yml
new file mode 100644 (file)
index 0000000..92761f7
--- /dev/null
+++ b/.github/workflows/static_typing_test.yml
@@ -0,0 +1,33 @@
+name: static typing test
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  static_typing_test:
+
+    runs-on: ubuntu-latest
+
+    strategy:
+      max-parallel: 1
+      fail-fast: false
+      matrix:
+        python-version: ['3.12']
+
+    steps:
+
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v5
+      with:
+        python-version: ${{ matrix.python-version }}
+
+    - name: Get the source code
+      uses: actions/checkout@v4
+
+    - name: Check static typing with mypy
+      run: |
+        pip install mypy
+        mypy kernel_hardening_checker/ --show-error-context --pretty --no-incremental --check-untyped-defs --disallow-untyped-defs --strict-equality