From 9d5feaaf99d511ac30762b4e0029f3d9f1283c4c Mon Sep 17 00:00:00 2001 From: sshakndr Date: Tue, 28 Nov 2023 13:49:12 +0700 Subject: [PATCH] python: flake8 and mypy separated --- .github/workflows/lint-python.yml | 5 +++++ web/documentserver-example/python/Makefile | 5 ++++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/lint-python.yml b/.github/workflows/lint-python.yml index b19cf30c..13d9458a 100644 --- a/.github/workflows/lint-python.yml +++ b/.github/workflows/lint-python.yml @@ -32,3 +32,8 @@ jobs: - name: Lint Flake8 run: | make lint + + # TODO: Configure mypy + # - name: Types mypy + # run: | + # make types diff --git a/web/documentserver-example/python/Makefile b/web/documentserver-example/python/Makefile index a0d9b132..a4cc7a26 100644 --- a/web/documentserver-example/python/Makefile +++ b/web/documentserver-example/python/Makefile @@ -46,8 +46,11 @@ compose-prod: # Up containers in a production environment. up --detach .PHONY: lint -lint: # Lint the source code for style and check for types. +lint: # Lint the source code for style. @flake8 --count --show-source --statistics + +.PHONY: types +types: # Check the source code for types. @mypy . .PHONY: test