From 0ba3bd2c836338f5b9af59cd5e8125b51309c76c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 28 Oct 2024 15:05:38 +0100
Subject: [PATCH] that version of dune was too new apparently...

---
 buildjob | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildjob b/buildjob
index 366b4cd..e182711 100755
--- a/buildjob
+++ b/buildjob
@@ -63,7 +63,7 @@ fi
 
 # Prepare
 # 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
 
 if [[ -n "$MANGLE_NAMES" ]]; then
-- 
GitLab