Merge branch 'automatic-merge' into 'master'

Restore COVERAGE_CORE management in tox.ini See merge request it/e3-core!103
AdaCore · Feb 4, 2025 · 839f57a · 839f57a
2 parents 8a2ea9b + ee7a45d
commit 839f57a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tox.ini b/tox.ini
@@ -18,6 +18,8 @@ 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