run_mypy.sh

#!/bin/sh

set -eu

. ./make_docker.sh

git fetch

run_in_docker "ci/mypy.sh" || echo "Failed!"

exit 0