Skip to content

merge queue: checking #12365 on master (a26fbaa) - #12381

Closed
mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/06421a63e5
Closed

mergify[bot] wants to merge 2 commits into
masterfrom
mergify/merge-queue/06421a63e5

Conversation

@mergify

@mergify mergify Bot commented Sep 26, 2026 •

Copy link
Copy Markdown
Contributor

🎉 This pull request has been checked successfully and will be merged soon. 🎉

#12365 is queued for merge on branch master (a26fbaa).

This pull request has been created by Mergify to check the mergeability of #12365.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue rule default for 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

Required conditions to stay in the queue:

---
checking_base_sha: a26fbaa8c87a07ff2b4b8205c6770476f03343b3
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 12365
    scopes: []
scopes: []
...

TeofilC and others added 2 commits September 21, 2026 11:00
The prefer-oldest and library-coverage arguments have now been superceded by new ones.
We used deprecation messages that referred to the Cabal spec to communicate this,
but this is wrong and confusing.
cabal-install flags have nothing to do with the Cabal spec!

Resolves #12357
@mergify mergify Bot closed this Sep 26, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/06421a63e5 branch September 26, 2026 19:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant