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

diff --git a/.github/workflows/functional_test.yml b/.github/workflows/functional_test.yml
index 8a2711f3e13ccabffd7db805c01ed773ed6a9413..e197bacb6b8f2ce866b7aac0b2e86731d4eb8207 100644 (file)
--- a/.github/workflows/functional_test.yml
+++ b/.github/workflows/functional_test.yml
@@ -51,11 +51,6 @@ jobs:
     - name: Get source code for collecting coverage
       uses: actions/checkout@v4
 
-    - name: Check static typing with mypy
-      run: |
-        pip install mypy
-        mypy kernel_hardening_checker/
-
     - name: Run the functional tests and collect the coverage
       run: |
         pip install coverage

diff --git a/.github/workflows/functional_test_no-coverage.yml b/.github/workflows/functional_test_no-coverage.yml
index 7d692ee121b1da3f6ee6139a3d8504f9285b12d2..3d02c5a0b3cdd9dbdf92ca766a3379d87c73e9e2 100644 (file)
--- a/.github/workflows/functional_test_no-coverage.yml
+++ b/.github/workflows/functional_test_no-coverage.yml
@@ -51,11 +51,6 @@ jobs:
     - name: Get source code
       uses: actions/checkout@v4
 
-    - name: Check static typing with mypy
-      run: |
-        pip install mypy
-        mypy kernel_hardening_checker/
-
     - name: Run the functional tests
       run: |
         pip install coverage

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