From 1ef47635077a34cc59c6bcb3bb0ca5a816af9c7e Mon Sep 17 00:00:00 2001
From: ralfulrich <ralf.ulrich@kit.edu>
Date: Mon, 6 Jul 2020 19:58:00 +0200
Subject: [PATCH] faster dev build
---
.gitlab-ci.yml | 14 ++++++++++++--
1 file changed, 12 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 18896cd7d..1bccce6a0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -205,9 +205,14 @@ test-clang-8:
- set -o pipefail
- make run_examples | gzip -v -9 > examples.log.gz
rules:
+ - if: '$CI_MERGE_REQUEST_TITLE =~ /^WIP:/'
+ - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
- if: $CI_MERGE_REQUEST_ID
+ when: manual
+ allow_failure: true
- if: $CI_COMMIT_TAG
- - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
+ when: manual
+ allow_failure: true
artifacts:
when: always
expire_in: 3 days
@@ -253,9 +258,14 @@ example-clang-8:
- set -o pipefail
- make install
rules:
+ - if: '$CI_MERGE_REQUEST_TITLE =~ /^WIP:/'
+ - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
- if: $CI_MERGE_REQUEST_ID
+ when: manual
+ allow_failure: true
- if: $CI_COMMIT_TAG
- - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
+ when: manual
+ allow_failure: true
cache:
paths:
- build/
--
GitLab