opts: set `-DDUNE_MAX_TEST_CORES=${DUNECI_PARALLEL}`
But only if `${DUNECI_PARALLEL}` is set. Reference: https://gitlab.dune-project.org/infrastructure/issues0/issues/47
Showing
Please register or sign in to comment
But only if `${DUNECI_PARALLEL}` is set. Reference: https://gitlab.dune-project.org/infrastructure/issues0/issues/47