Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Dec 4, 2025

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • no 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 an automatic backport of pull request #11169 done by [Mergify](https://mergify.com).

@mergify mergify bot mentioned this pull request Dec 4, 2025
2 tasks
@mergify mergify bot added the backport label Dec 4, 2025
Copy link
Member

@Mikolaj Mikolaj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

How could we have forgotten this essential one.

@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Dec 4, 2025
@Mikolaj
Copy link
Member

Mikolaj commented Dec 4, 2025

@mergify rebase

(cherry picked from commit 23c0785)
@mergify
Copy link
Contributor Author

mergify bot commented Dec 4, 2025

rebase

✅ Branch has been successfully rebased

@Mikolaj Mikolaj force-pushed the mergify/bp/3.16/pr-11169 branch from 6d3f107 to f975163 Compare December 4, 2025 23:46
@mergify
Copy link
Contributor Author

mergify bot commented Dec 5, 2025

Merge Queue Status

✅ The pull request has been merged

This pull request spent 11 minutes 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 added the queued label Dec 5, 2025
@mergify mergify bot merged commit 286f611 into 3.16 Dec 5, 2025
58 checks passed
@mergify mergify bot deleted the mergify/bp/3.16/pr-11169 branch December 5, 2025 01:41
@mergify mergify bot removed the queued label Dec 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants