diff options
author | Jiri Suchan <yed@vanyli.net> | 2022-08-23 22:21:46 +0900 |
---|---|---|
committer | Jiri Suchan <yed@vanyli.net> | 2022-09-30 19:03:17 +0700 |
commit | c5bd2f9dce17f3e6bf7d9681243e2743633db6f0 (patch) | |
tree | 5cc835252cc999d086deaf05f3821ef3ce9e37e8 /platform/web | |
parent | f47979f0874b2ca6134e71575fbb359c6cc5ced0 (diff) |
ci: add Python static analysis check via mypy
Diffstat (limited to 'platform/web')
-rw-r--r-- | platform/web/detect.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/platform/web/detect.py b/platform/web/detect.py index 77921847a8..08c1ff7b4a 100644 --- a/platform/web/detect.py +++ b/platform/web/detect.py @@ -11,6 +11,10 @@ from emscripten_helpers import ( ) from methods import get_compiler_version from SCons.Util import WhereIs +from typing import TYPE_CHECKING + +if TYPE_CHECKING: + from SCons import Environment def is_active(): @@ -60,7 +64,7 @@ def get_flags(): ] -def configure(env): +def configure(env: "Environment"): # Validate arch. supported_arches = ["wasm32"] if env["arch"] not in supported_arches: |