Skip to content
Snippets Groups Projects
Commit 0ba3bd2c authored by Ralf Jung's avatar Ralf Jung
Browse files

that version of dune was too new apparently...

parent a5ac35aa
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
buildjob
+ 1
− 1
View file @ 0ba3bd2c
...@@ -63,7 +63,7 @@ fi ...@@ -63,7 +63,7 @@ fi
# Prepare # Prepare
# We pin a particular dune version to avoid constant rebuilds (dune is required by coq, and gets updated a lot). # We pin a particular dune version to avoid constant rebuilds (dune is required by coq, and gets updated a lot).
. ci/prepare-opam.sh dune version 3.15.3 $OPAM_PINS # deliberately not quoted . ci/prepare-opam.sh dune version 3.13.1 $OPAM_PINS # deliberately not quoted
env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt
if [[ -n "$MANGLE_NAMES" ]]; then if [[ -n "$MANGLE_NAMES" ]]; then
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment