ci: make changelog check optional; update docs - #11180
Merged
Merged
Mergify / Mergify Merge Queue
succeeded
Aug 7, 2026 in 2h 26m 30s
Merged via merge queue
- ✅ Entered queue —
2026-08-07 10:46 UTC· Rule:batched· triggered by rulemove to any queue if GitHub Rulesets are satisfied - ✅ Checks passed · on draft #11217
- ✅ Merged —
2026-08-07 13:13 UTC· ate23432038c1ec7b75c996a8895ced45866ba7d97· merge
This pull request spent 2 hours 26 minutes 29 seconds in the queue, including 45 seconds running CI.
Required conditions to merge
#review-threads-unresolved = 0[🛡 GitHub repository ruleset rulePR Requirements]github-review-approved[🛡 GitHub branch protection]github-review-approved[🛡 GitHub repository ruleset rulePR Requirements]- any of [🛡 GitHub repository ruleset rule
PR Requirements]:-
check-success = @github-actions/lint -
check-neutral = @github-actions/lint -
check-skipped = @github-actions/lint
-
- any of [🛡 GitHub repository ruleset rule
PR Requirements]:-
check-success = test-crates -
check-neutral = test-crates -
check-skipped = test-crates
-
- any of [🛡 GitHub repository ruleset rule
PR Requirements]:-
check-success = unit-tests -
check-neutral = unit-tests -
check-skipped = unit-tests
-
- any of [🛡 GitHub repository ruleset rule
PR Requirements]:-
check-success = @github-actions/pr-gate-result -
check-neutral = @github-actions/pr-gate-result -
check-skipped = @github-actions/pr-gate-result
-
Loading