From 99b0904b8a9afe5798c849884df7a13887b89a04 Mon Sep 17 00:00:00 2001
From: Jan-Oliver Kaiser <janno@mpi-sws.org>
Date: Thu, 15 Sep 2016 16:25:31 +0200
Subject: [PATCH] Use folded yaml string syntax instead of literal
---
.gitlab-ci.yml | 34 +++++++++++++++++-----------------
1 file changed, 17 insertions(+), 17 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index de940fb8..36cd6134 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,11 +9,11 @@ vio:
stage: quickbuild
tags:
- coq
- script: |
- cd coq/ra/
- coqc -v
- time make -j8 TIMED=y quick 2>&1 | tee build-log-vio.txt
- fgrep Axiom build-log.txt && exit 1
+ script: >
+ cd coq/ra/;
+ coqc -v;
+ time make -j8 TIMED=y quick 2>&1 | tee build-log-vio.txt;
+ fgrep Axiom build-log.txt && exit 1;
cat build-log.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt
only:
- master
@@ -25,11 +25,11 @@ 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
- fgrep Axiom build-log.txt && exit 1
+ script: >
+ cd coq/ra/;
+ coqc -v;
+ time make -j8 TIMED=y vio2vo J=8 2>&1 | tee build-log-vio2vo.txt;
+ fgrep Axiom build-log.txt && exit 1;
cat build-log.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt
only:
- master
@@ -41,13 +41,13 @@ full:
stage: fullbuild
tags:
- coq
- script: |
- cd coq/ra/
- coqc -v
- make clean'
- time make -j8 TIMED=y 2>&1 | tee build-log-full.txt
- fgrep Axiom build-log.txt && exit 1
- cat build-log.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt
+ script: >
+ cd coq/ra/;
+ coqc -v;
+ make clean;
+ time make -j8 TIMED=y 2>&1 | tee build-log-full.txt;
+ fgrep Axiom build-log.txt && exit 1;
+ cat build-log.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-quick.txt;
only:
- master
artifacts:
--
GitLab