X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=.github%2Fworkflows%2Ffunctional_test_no-coverage.yml;h=7d692ee121b1da3f6ee6139a3d8504f9285b12d2;hb=4a4ac47bb27161044480181f7f7f3ec8adb9e732;hp=3d02c5a0b3cdd9dbdf92ca766a3379d87c73e9e2;hpb=32db0791105d82fd5703b90385b8ef10c4225fb5;p=kconfig-hardened-check.git

diff --git a/.github/workflows/functional_test_no-coverage.yml b/.github/workflows/functional_test_no-coverage.yml
index 3d02c5a..7d692ee 100644
--- a/.github/workflows/functional_test_no-coverage.yml
+++ b/.github/workflows/functional_test_no-coverage.yml
@@ -51,6 +51,11 @@ 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