From 5825ffa6a30d9e3c761f2fd94b1328c11d862504 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@cnrs.fr>
Date: Mon, 31 Mar 2025 10:31:55 +0200
Subject: [PATCH] Update Coq for CI?
---
.gitlab-ci.yml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b674818d..31f1b4d3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ stages:
variables:
CPU_CORES: "10"
- OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
+ OCAML: "ocaml-variants.5.1.1+options ocaml-option-flambda"
.template: &template
stage: build
@@ -28,10 +28,10 @@ variables:
## Build jobs
-build-coq.8.20.0:
+build-coq.8.20.1:
<<: *template
variables:
- OPAM_PINS: "coq version 8.20.0"
+ OPAM_PINS: "coq version 8.20.1"
DENY_WARNINGS: "1"
MANGLE_NAMES: "1"
# Mostly to make the lifetime logic available
@@ -40,7 +40,7 @@ build-coq.8.20.0:
trigger-iris.timing:
<<: *template
variables:
- OPAM_PINS: "coq version 8.20.0 git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
+ OPAM_PINS: "coq version 8.20.1 git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
tags:
- fp-timing
only:
--
GitLab