diff options
author | Wojtek Kosior <koszko@koszko.org> | 2022-10-18 12:28:03 +0200 |
---|---|---|
committer | Wojtek Kosior <koszko@koszko.org> | 2022-10-18 20:13:45 +0200 |
commit | 76f4b6769d0acaeffbd8e8a003fcbb3e2fbea107 (patch) | |
tree | 14b13265f024ca57b03bffbb22f67eb601fc0aef /README.md | |
parent | 85b5709ea5ce50423713e6847ee8cefb6001eee9 (diff) | |
download | haketilo-hydrilla-76f4b6769d0acaeffbd8e8a003fcbb3e2fbea107.tar.gz haketilo-hydrilla-76f4b6769d0acaeffbd8e8a003fcbb3e2fbea107.zip |
[builder][server][proxy] facilitate running mypy linter through Makefile
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -55,6 +55,13 @@ Runs the automated test suite. ### `make run-haketilo` Runs `haketilo` program from sources. +### `mypy-lint` +Runs mypy static type checker over source files of the project. + +### `mypy-lint-server`, `mypy-lint-builder`, `mypy-lint-haketilo` +Runs mypy static type checker over source files used in the relevant part of the +project. + ### `make clean` Removes generated files. |