diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 911d52abaa56505b08ae09b47085da908982fac8..49a77ed0df00b003cc36d377f5eaf0694aed3ff5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,4 +1,7 @@ --- +variables: + DUNECI_BRANCH: releases/2.5 + before_script: - duneci-install-module https://gitlab.dune-project.org/core/dune-common.git