Run mypy on CI

smithy-lang · Jan 4, 2023 · cde0276 · cde0276
1 parent 50bac1f
commit cde0276
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/rust-runtime/aws-smithy-http-server-python/examples/Makefile b/rust-runtime/aws-smithy-http-server-python/examples/Makefile
@@ -48,9 +48,9 @@ run: build
 	python3 $(CUR_DIR)/pokemon_service.py
 
 py-check: build
-	mypy pokemon_service.py
+	python3 -m mypy pokemon_service.py
 
-test: build
+test: build py-check
 	cargo test
 
 clippy: codegen

diff --git a/tools/Dockerfile b/tools/Dockerfile
@@ -186,7 +186,8 @@ ENV PATH=/opt/cargo/bin:/opt/nodejs/bin:$PATH \
 # This is used primarily by the `build.gradle.kts` files in choosing how to execute build tools. If inside the image,
 # they will assume the tools are on the PATH, but if outside of the image, they will `cargo run` the tools.
 ENV SMITHY_RS_DOCKER_BUILD_IMAGE=1
-RUN npm install -g diff2html-cli@5.1.11 && pip3 install --no-cache-dir uvloop==0.16.0 aiohttp==3.8.1
+RUN npm install -g diff2html-cli@5.1.11 && \
+    pip3 install --no-cache-dir uvloop==0.16.0 aiohttp==3.8.1 mypy==0.991
 WORKDIR /home/build
 COPY ci-build/scripts/sanity-test /home/build/sanity-test
 RUN /home/build/sanity-test