9 lines
191 B
Bash
Executable file
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
|