From 03e03b7f71d1255e302d50f75624510ee3d0c7e5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 23 Jul 2019 16:47:56 +0200
Subject: [PATCH] cleanup CI script
---
.gitlab-ci.yml | 26 ++------------------------
1 file changed, 2 insertions(+), 24 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 54fd9e872..a841b8e38 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,6 @@ stages:
variables:
CPU_CORES: "10"
- MTAC2_87_COMMIT: "1dd9ff4810d5044f9bce2418a7f7f6c01703672d"
MTAC2_88_COMMIT: "a607c93656f046066a4ea45b2b5e7bf1816f3fe6"
.template: &template
@@ -20,7 +19,7 @@ variables:
paths:
- opamroot/
only:
- - mtac2-tt
+ - master
- /^ci/
except:
- triggers
@@ -28,8 +27,7 @@ variables:
- api
## Build jobs
-#
-#
+
build-coq.8.8.2-flambda:
<<: *template
variables:
@@ -46,23 +44,3 @@ build-coq.8.8.2:
TIMING_CONF: "coq-8.8.2"
tags:
- fp-timing
-
-# build-coq.8.8.0:
-# <<: *template
-# variables:
-# OPAM_PINS: "coq version 8.8.0 coq-mathcomp-ssreflect version 1.7.0 coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_88_COMMIT"
-
-# build-coq.8.7.2:
-# <<: *template
-# variables:
-# OPAM_PINS: "coq version 8.7.2 coq-mathcomp-ssreflect version 1.6.4 coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_87_COMMIT"
-
-# build-coq.8.7.1:
-# <<: *template
-# variables:
-# OPAM_PINS: "coq version 8.7.1 coq-mathcomp-ssreflect version 1.6.4 coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_87_COMMIT"
-#
-# build-coq.8.7.0:
-# <<: *template
-# variables:
-# OPAM_PINS: "coq version 8.7.0 coq-mathcomp-ssreflect version 1.6.4 coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_87_COMMIT"
--
GitLab