From 80f4fde3cfd92cf11e155ce0151cc483d305fb5a Mon Sep 17 00:00:00 2001
From: Jan-Oliver Kaiser <janno@mpi-sws.org>
Date: Thu, 15 Sep 2016 17:33:12 +0200
Subject: [PATCH] Make CI git submodule call shallow + filename fixes
---
.gitlab-ci.yml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e2a70f6f..38049775 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,7 +17,7 @@ iris:
- coq
script: >
(git --version || (apt-get update && apt-get install -y git));
- git submodule update --init --recursive;
+ git submodule update --init --recursive --depth 1;
cd coq/iris;
cat _CoqProject | grep -v '^test' > _CoqProject_filtered;
mv _CoqProject_filtered _CoqProject;
@@ -35,7 +35,7 @@ vio:
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
+ cat build-log-vio.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-vio.txt
only:
- master
artifacts:
@@ -51,7 +51,7 @@ vio2vo:
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
+ cat build-log-vio2vo.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-vio2vo.txt
only:
- master
artifacts:
@@ -68,7 +68,7 @@ full:
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;
+ cat build-log-full.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time-full.txt;
only:
- master
artifacts:
--
GitLab