X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=.github%2Fworkflows%2Ffunctional_test.yml;h=8a2711f3e13ccabffd7db805c01ed773ed6a9413;hb=a88e0633185026fbd02184061a6f12b004da7fa0;hp=e197bacb6b8f2ce866b7aac0b2e86731d4eb8207;hpb=32db0791105d82fd5703b90385b8ef10c4225fb5;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