From 4a35dc57b45fee40f93658df9f2900bef0b44d1b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 14 Sep 2023 14:48:25 +0200
Subject: [PATCH] do timing on Coq 8.18
---
.gitlab-ci.yml | 26 +++++++++++++++-----------
1 file changed, 15 insertions(+), 11 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ecf9cc92c..442e32b78 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -44,21 +44,31 @@ variables:
## Build jobs
+# The newest version runs with timing.
build-coq.8.18.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.18.0"
DENY_WARNINGS: "1"
+ MANGLE_NAMES: "1"
+ OPAM_PKG: "1"
+ DOC_DIR: "coqdoc@center.mpi-sws.org:iris"
+ DOC_OPTS: "--external https://plv.mpi-sws.org/coqdoc/stdpp/ stdpp"
+ tags:
+ - fp-timing
+ interruptible: false
-build-coq.8.17.0:
+# The newest version also runs in MRs, without timing.
+build-coq.8.18.0-mr:
<<: *template
+ <<: *only_mr
variables:
- OPAM_PINS: "coq version 8.17.0"
+ OPAM_PINS: "coq version 8.18.0"
DENY_WARNINGS: "1"
+ MANGLE_NAMES: "1"
-build-coq.8.17.0-mr:
+build-coq.8.17.0:
<<: *template
- <<: *only_mr
variables:
OPAM_PINS: "coq version 8.17.0"
DENY_WARNINGS: "1"
@@ -69,14 +79,8 @@ build-coq.8.16.1:
variables:
OPAM_PINS: "coq version 8.16.1"
DENY_WARNINGS: "1"
- MANGLE_NAMES: "1"
- OPAM_PKG: "1"
- DOC_DIR: "coqdoc@center.mpi-sws.org:iris"
- DOC_OPTS: "--external https://plv.mpi-sws.org/coqdoc/stdpp/ stdpp"
- tags:
- - fp-timing
- interruptible: false
+# The oldest version runs in MRs, without name mangling.
build-coq.8.15.2:
<<: *template
<<: *branches_and_mr
--
GitLab