Fix check-pr-labels #11862
+25
−14
Merged
Fix check-pr-labels #11862
Mergify / Mergify Merge Queue
succeeded
May 24, 2026 in 11m 39s
Merged via merge queue
- ✅ Entered queue —
2026-05-24 19:42 UTC· Rule:default - ✅ Checks skipped · PR is already up-to-date
- ✅ Merged —
2026-05-24 19:54 UTC· atd9b37b89bf51e27ffc99116b75df0b5d261c83df· merge
This pull request spent 11 minutes 37 seconds in the queue, including 4 seconds running CI.
Required conditions to merge
#approved-reviews-by >= 2[🛡 GitHub branch protection]#changes-requested-reviews-by = 0[🛡 GitHub branch protection]#review-threads-unresolved = 0[🛡 GitHub branch protection]- any of [🛡 GitHub branch protection]:
-
check-success = Doctest Cabal -
check-neutral = Doctest Cabal -
check-skipped = Doctest Cabal
-
- any of [🛡 GitHub branch protection]:
-
check-success = Meta checks -
check-neutral = Meta checks -
check-skipped = Meta checks
-
- any of [🛡 GitHub branch protection]:
-
check-success = docs/readthedocs.org:cabal -
check-neutral = docs/readthedocs.org:cabal -
check-skipped = docs/readthedocs.org:cabal
-
- any of [🛡 GitHub branch protection]:
-
check-success = Validate post job -
check-neutral = Validate post job -
check-skipped = Validate post job
-
- any of [🛡 GitHub branch protection]:
-
check-success = fourmolu -
check-neutral = fourmolu -
check-skipped = fourmolu
-
- any of [🛡 GitHub branch protection]:
-
check-success = hlint -
check-neutral = hlint -
check-skipped = hlint
-
- any of [🛡 GitHub branch protection]:
-
check-success = Bootstrap post job -
check-neutral = Bootstrap post job -
check-skipped = Bootstrap post job
-
- any of [🛡 GitHub branch protection]:
-
check-success = whitespace -
check-neutral = whitespace -
check-skipped = whitespace
-
- any of [🛡 GitHub branch protection]:
-
check-success = Check sdist post job -
check-neutral = Check sdist post job -
check-skipped = Check sdist post job
-
- any of [🛡 GitHub branch protection]:
-
check-success = Changelogs -
check-neutral = Changelogs -
check-skipped = Changelogs
-
Loading