Skip to content

[CI] Run parallel tests in parallel

Apparently, parallel tests aren't in fact run in parallel in the CI, see core/dune-common!406 (comment 37534)