more CI testing

This commit is contained in:
Eric Froemling 2019-10-06 09:51:41 -07:00
parent 4cf15b223d
commit f2e6970bdf

View File

@ -497,7 +497,8 @@ def mypyscripts(projroot: Path, full: bool) -> None:
"""Run mypy on all of our scripts."""
import time
filenames = get_script_filenames(projroot)
print('Running Mypy ' + ('(full)' if full else '(incremental)') + '...')
print('Running Mypy ' + ('(full)' if full else '(incremental)') + '...',
flush=True)
starttime = time.time()
try:
runmypy(filenames, full)