ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
490 stars 87 forks source link

CI: do not artificially restrict parallel test execution #745

Closed hendriktews closed 6 months ago

hendriktews commented 6 months ago

For whatever reason, the test job always runs late in a CI run (I am blaming the max-parallel annotation for this). This leads to longer CI runs, because, at the end, for several rounds on 6 instances of the test job are executing. Note that Github starts at most 20 of our tests in parallel, so it is not our responsibility to ensure that limit.