diff options
| author | Moritz Angermann <moritz.angermann@gmail.com> | 2021-03-16 17:53:43 +0800 |
|---|---|---|
| committer | Moritz Angermann <moritz.angermann@gmail.com> | 2021-03-17 04:16:27 -0400 |
| commit | 43a64744458dcec82102d6daf488c33b99f24745 (patch) | |
| tree | 6ba365fae970d88737be66ed484c738b48d96234 /.gitlab-ci.yml | |
| parent | 58cfcc658f7964286dcb6073d28c54fc57c8aa94 (diff) | |
| download | haskell-43a64744458dcec82102d6daf488c33b99f24745.tar.gz | |
[ci] don't make marge double build.wip/angerman/fix-18744
This fixes !18744
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index fd25f5ad6d..b8004f149b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -68,7 +68,6 @@ workflow: - if: $CI_MERGE_REQUEST_ID - if: $CI_COMMIT_TAG - if: '$CI_COMMIT_BRANCH == "master"' - - if: '$CI_COMMIT_BRANCH == "wip/marge_bot_batch_merge_job"' - if: '$CI_COMMIT_BRANCH =~ /ghc-[0-9]+\.[0-9]+/' - if: '$CI_PIPELINE_SOURCE == "web"' |