Skip to content

Conversation

@ffaf1
Copy link
Collaborator

@ffaf1 ffaf1 commented Dec 10, 2025

  • 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).

Forward port of #11306 #11328 #11334

Copy link
Collaborator

@ulysses4ever ulysses4ever left a comment

Choose a reason for hiding this comment

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

not sure why the checklist on the issue didn't have that point, sorry...

@ffaf1 ffaf1 added squash+merge me Tell Mergify Bot to squash-merge and removed attention: needs-review labels Dec 10, 2025
@ffaf1 ffaf1 mentioned this pull request Dec 10, 2025
2 tasks
@mergify mergify bot added the ready and waiting Mergify is waiting out the cooldown period label Dec 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready and waiting Mergify is waiting out the cooldown period release squash+merge me Tell Mergify Bot to squash-merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants