Skip to content

CI: do not artificially restrict parallel test execution#745

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:no-maxMar 15, 2024
-8

Commits

Commits on Mar 8, 2024