From 828ad1be8ec3a532d2694ada3ba2e6de61b74815 Mon Sep 17 00:00:00 2001
From: ralfulrich <ralf.ulrich@kit.edu>
Date: Sat, 25 May 2019 09:14:37 +0200
Subject: [PATCH] slightly simplify coverage CI builds
---
.gitlab-ci.yml | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 56d4b2571..85be87ff5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -42,16 +42,12 @@ coverage: # special pipeline for master with coverage report
- cd build
- cmake .. -DCMAKE_BUILD_TYPE=Coverage
- cmake --build . -- -j4
- - ctest -j4 -V >& test.log || gzip -v -9 -S .gz test.log
+ - ctest -j4 -V
- cmake --build . --target coverage && tar czf coverage-report.tar.gz coverage-report
artifacts:
expire_in: 1 year
paths:
- build/coverage-report.tar.gz
- - build/test.log.gz
- reports:
- junit:
- - build/test_outputs/junit*.xml
only:
- master
--
GitLab