diff options
| -rw-r--r-- | .gitlab-ci.yml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6e8d50d5aa..c5f0ad098d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -85,7 +85,14 @@ lint-submods: refs: - master - /ghc-[0-9]+\.[0-9]+/ - - wip/marge_bot_batch_merge_job + +lint-submods-marge: + extends: .lint-submods + only: + refs: + - merge_requests + variables: + - $CI_MERGE_REQUEST_LABELS =~ /.*wip/marge_bot_batch_merge_job.*/ lint-submods-mr: extends: .lint-submods |