Skip to content

Fix pytest when source coverage is not used#721

Merged
grouigrokon merged 1 commit intoAdaCore:masterfrom grouigrokon:fix-pytest-without-coverageMay 22, 2024
+32-13

Commits

Commits on May 14, 2024