From 0cc59b36671b2c9f8c0a0de962e203a5d6bfcd27 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 16 Sep 2017 11:52:30 +0200
Subject: [PATCH] fix CI
---
.gitlab-ci.yml | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b67f23ee4..bc9551c27 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,7 +2,7 @@ image: ralfjung/opam-ci:latest
iris-coq8.5.3:
tags:
- - coq
+ - fp-timing
script:
# prepare
- . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6.1'
@@ -16,8 +16,6 @@ iris-coq8.5.3:
paths:
- opamroot/
only:
- - master
- - ci
- iris-3.0
artifacts:
paths:
@@ -25,7 +23,7 @@ iris-coq8.5.3:
iris-coq8.6:
tags:
- - coq
+ - fp-timing
script:
# prepare
- . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect 1.6.1'
@@ -36,6 +34,4 @@ iris-coq8.6:
paths:
- opamroot/
only:
- - master
- - ci
- iris-3.0
--
GitLab