Merge branch 'automatic-merge' into 'master'

Speed up coverage for Python >= 3.12 See merge request it/e3-core!76
AdaCore · Dec 11, 2024 · 05a0355 · 05a0355
2 parents cbf78d9 + 23fccfa
commit 05a0355
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tox.ini b/tox.ini
@@ -13,6 +13,14 @@ deps =
      codecov: codecov
 extras = test
 
+# Speed up coverage on Python >= 3.12
+setenv =
+  # Set COVERAGE_CORE only for Python >= 3.12
+  COVERAGE_CORE=sysmon
+  py311: COVERAGE_CORE=
+  py310: COVERAGE_CORE=
+  py39: COVERAGE_CORE=
+
 # Run testsuite with coverage when '-cov' and with multi-threading when '-xdist'
 # is in the env name
 commands=