Skip to content

Conversation

@geekosaur
Copy link
Collaborator

It drags the entire project up to text-2.x, including for older ghcs where it's not available as a bootlib. See #11280 (comment).

Please read Github PR Conventions and then fill in one of these two templates.


Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

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

It drags the entire project up to `text-2.x`, including for older
ghcs where it's not available as a bootlib.
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.

As long as it helps...

@geekosaur geekosaur added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Nov 14, 2025
@mergify mergify bot added ready and waiting Mergify is waiting out the cooldown period merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days queued labels Nov 14, 2025
mergify bot added a commit that referenced this pull request Nov 17, 2025
@mergify
Copy link
Contributor

mergify bot commented Nov 17, 2025

This pull request has been removed from the queue for the following reason: checks failed.

The merge conditions cannot be satisfied due to failing checks:

You can check the last failing draft PR here: #11293.

You may have to fix your CI before adding the pull request to the queue again.
If you update this pull request, to fix the CI, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

@mergify mergify bot added dequeued and removed queued labels Nov 17, 2025
@geekosaur
Copy link
Collaborator Author

@Mergifyio requeue

@mergify
Copy link
Contributor

mergify bot commented Nov 17, 2025

requeue

✅ The queue state of this pull request has been cleaned. It can be re-embarked automatically

@mergify mergify bot added queued and removed dequeued labels Nov 17, 2025
mergify bot added a commit that referenced this pull request Nov 17, 2025
@mergify mergify bot merged commit 2b4cccb into haskell:master Nov 17, 2025
403 checks passed
@mergify mergify bot removed the queued label Nov 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

attention: needs-backport 3.16 continuous-integration merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge ready and waiting Mergify is waiting out the cooldown period

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants