Simplify package DB logic by removing GHC 7.6 compatibility layer #11710
Mergify / Mergify Merge Queue
succeeded
Apr 11, 2026 in 1h 42m 46s
Merged via merge queue
- ✅ Entered queue —
2026-04-11 22:09 UTC· Rule:default - ✅ Checks passed · on draft #11740
- ✅ Merged —
2026-04-11 23:52 UTC· at71345606fb31431ef4e812f50a8780d1c0a288c1
This pull request spent 1 hour 42 minutes 45 seconds in the queue, including 1 hour 32 minutes 29 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