[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)
Apparently, parallel tests aren't in fact run in parallel in the CI, see core/dune-common!406 (comment 37534)