Skip to content

fix(CI): bootstrap.py no longer reuses a stale package database - #12341

Merged
mergify[bot] merged 1 commit into
haskell:masterfrom
zlonast:zlonast/bootstrap
Sep 12, 2026
Merged

fix(CI): bootstrap.py no longer reuses a stale package database#12341
mergify[bot] merged 1 commit into
haskell:masterfrom
zlonast:zlonast/bootstrap

fix bootstrap

72fa62f
Select commit
Loading
Failed to load commit list.
Mergify / Mergify Merge Queue succeeded Sep 12, 2026 in 2h 6m 1s

Merged via merge queue

  • ✅ Entered queue — 2026-09-12 05:12 UTC · Rule: default · triggered by @zlonast with the @mergifyio queue command
  • ✅ Checks passed · on draft #12352
  • ✅ Merged — 2026-09-12 07:18 UTC · at a7e14391296bf48ab9fbfd1d264334941f7a5831 · merge

This pull request spent 2 hours 5 minutes 55 seconds in the queue, including 1 hour 54 minutes 45 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 = 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
View more details on Mergify