Backport #12341: fix(CI): bootstrap.py no longer reuses a stale package database - #12353
Merged
Mergify / Mergify Merge Queue
succeeded
Sep 12, 2026 in 10m 55s
Merged via merge queue
- ✅ Entered queue —
2026-09-12 10:25 UTC· Rule:default· triggered by rulePut backports in the rebase+merge queue - ✅ Checks skipped · PR is already up-to-date
- ✅ Merged —
2026-09-12 10:36 UTC· atf3cd6926cf08e6a44a7e2e9ab2b7e4cac4ed2bf0· merge
This pull request spent 10 minutes 53 seconds in the queue, including 5 seconds running CI.
Required conditions to merge
#review-threads-unresolved = 0[🛡 GitHub branch protection]github-review-approved[🛡 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 = Validate post job -
check-neutral = Validate post job -
check-skipped = Validate post job
-
- 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 = 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