diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2019-05-30 11:12:12 +0100 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-06-08 13:34:18 -0400 |
commit | fd840b64ec21d2d06e1e54ce525195c6773d3f17 (patch) | |
tree | 1d08ea6effac52ccb078ef4da6753e4a63fc0593 /.gitlab-ci.yml | |
parent | 07dc79c3718a7080760105db180db2d904cf2394 (diff) | |
download | haskell-fd840b64ec21d2d06e1e54ce525195c6773d3f17.tar.gz |
gitlab-ci: Don't run two submodule checking jobs on Marge jobs
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index aea1e7030b..35c199f248 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -100,6 +100,9 @@ lint-submods-mr: only: refs: - merge_requests + except: + variables: + - $CI_MERGE_REQUEST_LABELS =~ /.*wip/marge_bot_batch_merge_job.*/ .lint-changelogs: stage: lint |