X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=.github%2Fworkflows%2Ffunctional_test.yml;h=8a2711f3e13ccabffd7db805c01ed773ed6a9413;hb=4a4ac47bb27161044480181f7f7f3ec8adb9e732;hp=e197bacb6b8f2ce866b7aac0b2e86731d4eb8207;hpb=b1012b145c6290dd8c00fc26c06abc0ef2784548;p=kconfig-hardened-check.git

diff --git a/.github/workflows/functional_test.yml b/.github/workflows/functional_test.yml
index e197bac..8a2711f 100644
--- a/.github/workflows/functional_test.yml
+++ b/.github/workflows/functional_test.yml
@@ -51,6 +51,11 @@ 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