From c7856a3c40b43b52022082439d80c14626be2754 Mon Sep 17 00:00:00 2001
From: Lionel Rieg <lionel.rieg@univ-grenoble-alpes.fr>
Date: Wed, 4 Dec 2024 22:29:12 +0100
Subject: [PATCH] Switching CI to Coq 8.18, 8.19, 8.20
---
.gitlab-ci.yml | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8b00ab32..3969feb0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,8 +17,11 @@ stages:
- make -j "$NJOBS"
# - make install
-coq:8.12:
+coq:8.18:
extends: .build
-coq:8.13:
+coq:8.19:
+ extends: .build
+
+coq:8.20:
extends: .build
--
GitLab