David Eichmann pushed to branch wip/davide/no_changelog at Glasgow Haskell Compiler / GHC
Commits:
-
4c8d273b
by David Eichmann at 2026-06-12T10:55:07+01:00
1 changed file:
Changes:
| ... | ... | @@ -255,6 +255,9 @@ lint-changelog: |
| 255 | 255 | BUILD_FLAVOUR: default
|
| 256 | 256 | CHANGELOG_EXPECT_MR: "$CI_MERGE_REQUEST_IID"
|
| 257 | 257 | script:
|
| 258 | + # Cancel the job if there is a no-changelog label
|
|
| 259 | + - |
|
|
| 260 | + [[ ",${CI_MERGE_REQUEST_LABELS}," == *",no-changelog,"* ]] && exit 0
|
|
| 258 | 261 | # Check that the MR adds at least one changelog entry
|
| 259 | 262 | - git fetch "$CI_MERGE_REQUEST_PROJECT_URL" "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME"
|
| 260 | 263 | - base="$(git merge-base FETCH_HEAD $CI_COMMIT_SHA)"
|
| ... | ... | @@ -274,8 +277,6 @@ lint-changelog: |
| 274 | 277 | rules:
|
| 275 | 278 | - if: '$CI_MERGE_REQUEST_LABELS =~ /.*marge_bot_batch_merge_job.*/'
|
| 276 | 279 | when: never
|
| 277 | - - if: '$CI_MERGE_REQUEST_LABELS =~ /.*no-changelog.*/'
|
|
| 278 | - when: never
|
|
| 279 | 280 | - if: $CI_MERGE_REQUEST_ID
|
| 280 | 281 | - *drafts-can-fail-lint
|
| 281 | 282 |