diff options
| -rw-r--r-- | dev/coverage.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/coverage.py b/dev/coverage.py index b9a55de..eb03b53 100644 --- a/dev/coverage.py +++ b/dev/coverage.py @@ -54,7 +54,7 @@ def run(ci=False): cov.start() from .tests import run as run_tests - result = run_tests() + result = run_tests(ci=ci) print() if ci: |