grasp/server/ci.sh
2019-01-06 23:57:15 +00:00

8 lines
170 B
Bash
Executable file

#!/bin/bash
set -eux
# TODO add to proper ci pipeline
pylint -E server.py setup
# TODO ugh mypy complains at hug's annotations
mypy --check-untyped-defs server.py setup