diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f3bed3538478397158663a93d3c3153b79d59959..3a4e5190e5122f6305e24e057cd61e3a597ce69c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -8,6 +8,7 @@ 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 + - duneci-install-module --recursive https://gitlab.dune-project.org/marcel.koch/consistent-edge-orientation.git git-debian-10-gcc-7-14: image: "registry.dune-project.org/docker/ci/dune-pdelab:git-debian-10-gcc-7-14"