Add GH pipeline

2026-09-09 09:05:31 +00:00
parent 070c372c50
commit d0653b5c24
2 changed files with 41 additions and 0 deletions
@@ -0,0 +1,7 @@
+[mypy]
+python_version = 3.10
+strict = False
+disable_error_code = import-untyped,import-not-found
+# TODO: consider enabling the following once
+# all optional values are explicitly specified.
+no_implicit_optional = False