8 lines
170 B
Bash
Executable file
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
|