Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Nov 12, 2025

Nothing much to do:

  • I did not bump cabal-version as this is a minor release.
  • I verified cabal build --allow-newer -cQuickCheck==2.17.1.0 … works with the relevant targets.

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? no 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 #11275 done by [Mergify](https://mergify.com).

(cherry picked from commit af3395c)

# Conflicts:
#	Cabal-QuickCheck/Cabal-QuickCheck.cabal
#	cabal-install/cabal-install.cabal
@mergify
Copy link
Contributor Author

mergify bot commented Nov 12, 2025

Cherry-pick of af3395c has failed:

On branch mergify/bp/3.12/pr-11275
Your branch is up to date with 'origin/3.12'.

You are currently cherry-picking commit af3395c34.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Unmerged paths:
  (use "git add <file>..." to mark resolution)
	both modified:   Cabal-QuickCheck/Cabal-QuickCheck.cabal
	both modified:   cabal-install/cabal-install.cabal

no changes added to commit (use "git add" and/or "git commit -a")

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

@mergify mergify bot added the conflicts label Nov 12, 2025
@mergify mergify bot mentioned this pull request Nov 12, 2025
2 tasks
@mergify mergify bot added the backport label Nov 12, 2025
@ffaf1 ffaf1 closed this Nov 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants