grasp/ci/mypy
2019-06-29 15:48:04 +01:00

9 lines
191 B
Bash
Executable file

#!/bin/bash
set -eux
# TODO ugh. doesn't work from circleci...
# cd "$(git rev-parse --show-toplevel)"
# TODO use strict?
python3 -m mypy --check-untyped-defs "$@" server/*.py server/setup