Limit mypy CI check

Author: JosueNina

.github/workflows/build.yml

@@ -37,7 +37,15 @@ jobs:
         if: runner.os == 'Linux'
         run: |
           # Critical checks
-          mypy lean/ --ignore-missing-imports --check-untyped-defs
+          if mypy lean/ \
+            --ignore-missing-imports \
+            --check-untyped-defs \
+            --no-implicit-optional \
+            --warn-return-any \
+            --show-error-codes 2>&1 | grep -q "Missing positional argument\|\[call-arg\]"; then
+            echo "ERROR: Missing function arguments detected"
+            exit 1
+          fi
           flake8 lean/ --select=F821 --ignore=ALL
           
           # Warning checks (don't fail the build)