Skip to content

Conversation

@ulysses4ever
Copy link
Collaborator

see #10975

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

@ulysses4ever ulysses4ever added the merge me Tell Mergify Bot to merge label Jun 5, 2025
@mergify mergify bot added merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days ready and waiting Mergify is waiting out the cooldown period labels Jun 5, 2025
@mergify mergify bot merged commit 2e30cb8 into master Jun 5, 2025
55 checks passed
@mergify mergify bot deleted the ulysses4ever-patch-3 branch June 5, 2025 14:45
@ulysses4ever ulysses4ever linked an issue Jun 7, 2025 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

attention: needs-review cabal-testsuite 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 priority: high 🔥 ready and waiting Mergify is waiting out the cooldown period

Projects

None yet

Development

Successfully merging this pull request may close these issues.

test suite: DedupUsingConfigFromSimple is flaky

4 participants