Merge branch 'automatic-merge' into 'master'

Restore COVERAGE_CORE management in tox.ini See merge request it/e3-aws!43
AdaCore · Feb 5, 2025 · 4d259ce · 4d259ce
2 parents 13bb4bd + d120e73
commit 4d259ce
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