From 18dd6ca9ae3fdc10ea42ad9f9e0318de19676825 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 26 Nov 2021 11:12:08 -0500
Subject: [PATCH] tweak CI settings
---
.gitlab-ci.yml | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8c9f6e73..948a98f1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -43,16 +43,16 @@ variables:
build-coq.8.14.1:
<<: *template
- interruptible: false
variables:
OPAM_PINS: "coq version 8.14.1"
MANGLE_NAMES: "1"
- CI_COQCHK: "1"
DENY_WARNINGS: "1"
+ CI_COQCHK: "1"
OPAM_PKG: "1"
DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"
tags:
- fp-timing
+ interruptible: false
# Separate MR job that does not run on fp-timing.
build-coq.8.14.1-mr:
@@ -80,9 +80,11 @@ build-coq.8.11.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.11.2"
+ DENY_WARNINGS: "1"
build-coq.8.10.2:
<<: *template
<<: *branches_and_mr
variables:
OPAM_PINS: "coq version 8.10.2"
+ DENY_WARNINGS: "1"
--
GitLab