Skip to content

Conversation

@ffaf1
Copy link
Collaborator

@ffaf1 ffaf1 commented Dec 10, 2025

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • N/A Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

This is cherry-picked in #11333. can be backported to master when #11333 is merged.

@ffaf1 ffaf1 mentioned this pull request Dec 10, 2025
2 tasks
@ffaf1 ffaf1 added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Dec 10, 2025
@mergify mergify bot added the queued label Dec 10, 2025
@mergify
Copy link
Contributor

mergify bot commented Dec 10, 2025

Merge Queue Status

✅ The pull request has been merged at 6b0ed65

This pull request spent 11 minutes 24 seconds in the queue, with no time running CI.
The checks were run in-place.

Required conditions to merge
  • #approved-reviews-by >= 1 [🛡 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 = 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

@mergify mergify bot merged commit 1f509b7 into haskell:3.16 Dec 10, 2025
57 checks passed
@mergify mergify bot removed the queued label Dec 10, 2025
@ffaf1 ffaf1 deleted the update-date-3.16.1.0 branch December 11, 2025 07:43
@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Dec 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants