grasp/server/ci.sh

#!/bin/bash
set -eux
# TODO add to proper ci pipeline
pylint -E *.py setup

mypy --check-untyped-defs *.py setup
get rid of kython for server counterpart 2019-01-06 15:57:15 -08:00			`#!/bin/bash`
			`set -eux`
			`# TODO add to proper ci pipeline`
Get rid of Hug dependency, use python default http server 2019-01-07 15:35:18 -08:00			`pylint -E *.py setup`
get rid of kython for server counterpart 2019-01-06 15:57:15 -08:00
Get rid of Hug dependency, use python default http server 2019-01-07 15:35:18 -08:00			`mypy --check-untyped-defs *.py setup`