From 879c7993d6aaf421f6ddd72e16fbb2c825e51fed Mon Sep 17 00:00:00 2001 From: Eric Froemling Date: Sun, 6 Oct 2019 10:28:46 -0700 Subject: [PATCH] more CI testing --- tools/efrotools/code.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/efrotools/code.py b/tools/efrotools/code.py index 696cf7d5..31e12b2e 100644 --- a/tools/efrotools/code.py +++ b/tools/efrotools/code.py @@ -488,7 +488,8 @@ def runmypy(filenames: List[str], full: bool = False, check: bool = True) -> None: """Run MyPy on provided filenames.""" args = [ - 'python3.7', '-m', 'mypy', '--pretty', '--config-file', '.mypy.ini' + 'python3.7', '-m', 'mypy', '--pretty', '--no-error-summary', + '--config-file', '.mypy.ini' ] + filenames if full: args.insert(args.index('mypy') + 1, '--no-incremental')