From 8edcc3630075b74d3f37ab17f51bd013493085e5 Mon Sep 17 00:00:00 2001
From: Jan-Oliver Kaiser <janno@mpi-sws.org>
Date: Fri, 16 Sep 2016 13:47:19 +0200
Subject: [PATCH] *REALLY* disable CI vio2vo job for now
---
.gitlab-ci.yml | 30 +++++++++++++++---------------
1 file changed, 15 insertions(+), 15 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 61f334ab..1bafef34 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -39,21 +39,21 @@ vio:
paths:
- coq/ra/build-time-vio.txt
-vio2vo:
- stage: quickcheck
- tags:
- - coq
- script: >
- cd coq/ra/;
- coqc -v;
- time make -j8 TIMED=y vio2vo J=8 2>&1 | tee build-log-vio2vo.txt;
- cat build-log-vio2vo.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-vio2vo.txt
- only:
- - master
- allow_failure: true
- artifacts:
- paths:
- - coq/ra/build-time-vio2vo.txt
+# vio2vo:
+# stage: quickcheck
+# tags:
+# - coq
+# script: >
+# cd coq/ra/;
+# coqc -v;
+# time make -j8 TIMED=y vio2vo J=8 2>&1 | tee build-log-vio2vo.txt;
+# cat build-log-vio2vo.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-vio2vo.txt
+# only:
+# - master
+# allow_failure: true
+# artifacts:
+# paths:
+# - coq/ra/build-time-vio2vo.txt
full:
stage: fullbuild
--
GitLab