Merge branch 'feature/build-against-2.6-branch' into 'releases/2.6'

.gitlab-ci.yml: build against releases/2.6 branch of other modules See merge request !76

Merge branch 'feature/build-against-2.6-branch' into 'releases/2.6'
8a2b6c0e · Ansgar Burchardt · 49651efe · e0c7f3ff · 8a2b6c0e
Commit 8a2b6c0e authored 7 years ago by Ansgar Burchardt
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
 ---
+variables:
+  DUNECI_BRANCH: releases/2.6
+
 before_script:
  - duneci-install-module https://gitlab.dune-project.org/core/dune-common.git