From f30d367a47339df9712eb1d4aa13166bb1942e55 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@cnrs.fr>
Date: Sun, 30 Mar 2025 14:32:18 +0200
Subject: [PATCH] Fix CI.
---
.gitlab-ci.yml | 17 ++++++++++-------
1 file changed, 10 insertions(+), 7 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6c8cdc89..b674818d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,6 +5,7 @@ stages:
variables:
CPU_CORES: "10"
+ OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
.template: &template
stage: build
@@ -27,19 +28,21 @@ variables:
## Build jobs
-build-coq.8.15.0:
+build-coq.8.20.0:
<<: *template
variables:
- OPAM_PINS: "coq version 8.15.0"
- OPAM_PKG: "1"
+ OPAM_PINS: "coq version 8.20.0"
DENY_WARNINGS: "1"
- tags:
- - fp-timing
+ MANGLE_NAMES: "1"
+ # Mostly to make the lifetime logic available
+ OPAM_PKG: "1"
-build-iris.dev:
+trigger-iris.timing:
<<: *template
variables:
- OPAM_PINS: "coq version 8.15.dev coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV"
+ OPAM_PINS: "coq version 8.20.0 git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
+ tags:
+ - fp-timing
only:
- triggers
- schedules
--
GitLab