Skip to content
Snippets Groups Projects
Commit 44ce828f authored by Ansgar Burchardt's avatar Ansgar Burchardt
Browse files

.gitlab-ci.yml: Build against releases/2.5 branch of other modules.

parent 50afe1ca
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 0 deletions
.gitlab-ci.yml
+ 3
− 0
View file @ 44ce828f
---
variables:
DUNECI_BRANCH: releases/2.5
before_script:
- duneci-install-module https://gitlab.dune-project.org/core/dune-common.git
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment