-
Ansgar Burchardt authored
But only if `${DUNECI_PARALLEL}` is set. Reference: https://gitlab.dune-project.org/infrastructure/issues0/issues/47
But only if `${DUNECI_PARALLEL}` is set. Reference: https://gitlab.dune-project.org/infrastructure/issues0/issues/47