Skip tasty-quickcheck 0.11 #10136
Merged
Skip tasty-quickcheck 0.11 #10136
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
Sorting out where it needs to be changed. |
geekosaur
force-pushed
the
skip-tasty-1.5.1
branch
2 times, most recently
from
a5563cd
to
22246f4
Compare
geekosaur
force-pushed
the
skip-tasty-1.5.1
branch
from
22246f4
to
4b07f2d
Compare
|
I think that, since this may delay the release if we need to make fixes after the candidate goes up, we should skip the delay on this one. |
2 tasks
ulysses4ever
requested changes
Jun 22, 2024
|
agree on skipping the delay btw |
|
Ugh, I thought I switched to |
geekosaur
force-pushed
the
skip-tasty-1.5.1
branch
from
4b07f2d
to
2cb6ea5
Compare
|
Reverted |
ulysses4ever
approved these changes
Jun 22, 2024
|
Hm, commits still show as present, although a squash will fix that. Dunno if it's worth mangling the repo to fix. |
API incompatible with our test suites
geekosaur
force-pushed
the
skip-tasty-1.5.1
branch
from
2cb6ea5
to
3964da3
Compare
|
Okay, history is clean now. |
geekosaur
added
merge me
18 tasks
Kleidukos
approved these changes
Jun 23, 2024
|
Cheers @geekosaur |
|
@mergify backport 3.12 |
✅ Backports have been created
|
2 tasks
mergify bot
added a commit
that referenced
this pull request
Jun 23, 2024
Skip tasty-quickcheck 0.11 (backport #10136)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
tasty-quickcheck 0.11, which was just released, is API incompatible with earlier versions. Exclude it from build plans. (Why were we using it without an upper bound?)
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: