Merge branch 'mr/trespeuch/speed-up-coverage' into 'master'

Disable branch coverage See merge request it/e3-core!71
AdaCore · Dec 11, 2024 · 96fed5b · 96fed5b
2 parents 7f2ea4b + 916ffb2
commit 96fed5b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -110,7 +110,7 @@ version = {file = "VERSION"}
 fail_under = 90
 
 [tool.coverage.run]
-branch = true
+branch = false
 omit = [
    "*mypy.py"
 ]

diff --git a/tox.ini b/tox.ini
@@ -21,7 +21,7 @@ commands=
        --durations=10 \
     xdist: -n auto \
     cov: --e3-cov-rewrite {envsitepackagesdir} src \
-    cov: --cov {envsitepackagesdir}/e3/ --cov-branch \
+    cov: --cov {envsitepackagesdir}/e3/ \
     []
     codecov: codecov