From 4ab7fbb8a74a404c5e23a716dbdf0f611ed9e3f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Tue, 2 Nov 2021 14:01:28 +0100
Subject: [PATCH] CI: update to mathcomp 1.13
---
.gitlab-ci.yml | 16 +++++++++++++---
coq-prosa.opam | 2 +-
2 files changed, 14 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 90b46f90d..17bd78358 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,7 +26,7 @@ stages:
- opam install -y -v -j ${NJOBS} coq-prosa
.preferred-stable-version:
- image: mathcomp/mathcomp:1.12.0-coq-8.14
+ image: mathcomp/mathcomp:1.13.0-coq-8.14
.build:
image: mathcomp/mathcomp:${CI_JOB_NAME}
@@ -38,14 +38,14 @@ stages:
.compile:
stage: build
- image: mathcomp/mathcomp:1.12.0-coq-8.14
+ image: mathcomp/mathcomp:1.13.0-coq-8.14
script:
- ./create_makefile.sh --without-classic
- make -j ${NJOBS}
.compile-classic:
stage: build
- image: mathcomp/mathcomp:1.12.0-coq-8.14
+ image: mathcomp/mathcomp:1.13.0-coq-8.14
script:
- ./create_makefile.sh --only-classic
- make -j ${NJOBS}
@@ -103,6 +103,16 @@ stages:
- .build
- .not_in_wip_branches
+1.13.0-coq-8.13:
+ extends:
+ - .build
+ - .not_in_wip_branches
+
+1.13.0-coq-8.14:
+ extends:
+ - .build
+ - .not_in_wip_branches
+
compile:
extends:
- .compile
diff --git a/coq-prosa.opam b/coq-prosa.opam
index 9295e623d..8ee946664 100644
--- a/coq-prosa.opam
+++ b/coq-prosa.opam
@@ -14,7 +14,7 @@ build: [
install: [make "install"]
depends: [
"coq" {((>= "8.13" & < "8.15~") | = "dev")}
- "coq-mathcomp-ssreflect" {((>= "1.12" & < "1.13~") | = "dev")}
+ "coq-mathcomp-ssreflect" {((>= "1.12" & < "1.14~") | = "dev")}
]
tags: [
--
GitLab