Document linting for contributors #11857
Merged
Mergify / Mergify Merge Queue
succeeded
May 23, 2026 in 3h 40m 11s
Merged via merge queue
- ✅ Entered queue —
2026-05-23 18:18 UTC· Rule:default - ✅ Checks passed · on draft #11871
- ✅ Merged —
2026-05-23 21:59 UTC· ate43d55d462675b66c1bc5286bc544264c0590839· merge
This pull request spent 3 hours 40 minutes 9 seconds in the queue, including 1 hour 42 minutes 12 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 [⛓️ #11711]:
- any of [⛓️ #11713]:
- 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