From b7021a59d41259f0b05ce571bb6c483c43935e58 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 21 Nov 2019 11:53:03 +0100
Subject: [PATCH] switch timing to 8.10.1
---
.gitlab-ci.yml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c9d6994b..438d32ce 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -31,15 +31,15 @@ build-coq.8.10.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.10.1"
+ OPAM_PKG: "coq-lambda-rust"
+ TIMING_CONF: "coq-8.10.1"
+ tags:
+ - fp-timing
build-coq.8.9.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.9.0"
- OPAM_PKG: "coq-lambda-rust"
- TIMING_CONF: "coq-8.9.0"
- tags:
- - fp-timing
build-iris.dev:
<<: *template
--
GitLab