Install required module dune-opcounter

.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"