diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2e6b48dbf558d18c358139237bd8debfed995ebb..40e860ffae61312971778c021a6a16760a34ab83 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,6 +5,7 @@ variables: before_script: - echo "Running make concurrently with ${DUNECI_PARALLEL} cores, where possibly" - patches/apply_patches.sh + - duneci-install-module --recursive https://gitlab.dune-project.org/dominic/dune-opcounter.git git-debian-10-gcc-7-14: image: "registry.dune-project.org/docker/ci/dune-pdelab:git-debian-10-gcc-7-14"