From ddeaa10bfc7b0cb27fbc9944253dc2b3c7c78911 Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Fri, 11 Apr 2025 10:23:22 +0200 Subject: [PATCH] docs/ci: split pre-merge & merge pipeline rules Part-of: --- docs/gitlab-ci.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/docs/gitlab-ci.yml b/docs/gitlab-ci.yml index 56a37ccf9c7..b4aea8f3cf3 100644 --- a/docs/gitlab-ci.yml +++ b/docs/gitlab-ci.yml @@ -43,7 +43,11 @@ test-docs: stage: deploy rules: - !reference [.common-rules, rules] - # pre-merge or merge pipeline + # merge pipeline + - if: '$CI_PIPELINE_SOURCE == "merge_request_event" && $GITLAB_USER_LOGIN == "marge-bot"' + changes: *docs-or-ci + when: on_success + # pre-merge pipeline - if: '$CI_PIPELINE_SOURCE == "merge_request_event"' changes: *docs-or-ci when: on_success