3 packages from ocaml-multicore/multicoretests at 0.1.1 #23198
Merged
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
jmid
force-pushed
the
opam-publish-qcheck-lin-qcheck-multicoretests-util-qcheck-stm.0.1.1
branch
from
524f801 to
1f94194
Compare
jmid
changed the title
|
The candidate release moved a couple of tests to the |
jmid
force-pushed
the
opam-publish-qcheck-lin-qcheck-multicoretests-util-qcheck-stm.0.1.1
branch
from
1f94194 to
211f340
Compare
|
The moved expect test failed on 32-bit, so this is now adapted to diff based on wordsize 🤞 |
|
Besides an internal opam build error this is now all green and should thus be good to go! 😃 |
|
The only failure seems to be an internal obuilder one: ocurrent/obuilder#71 |
|
LGTM! I restarted the failed job just for completeness' sake, but it's good to go AFAIAC. |
|
Thanks! |
jmid
deleted the
opam-publish-qcheck-lin-qcheck-multicoretests-util-qcheck-stm.0.1.1
branch
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.
This pull-request concerns:
-
qcheck-lin.0.1.1: A multicore testing library for OCaml-
qcheck-multicoretests-util.0.1.1: Various utility functions for property-based testing of multicore programs-
qcheck-stm.0.1.1: State-machine testing library for sequential and parallel model-based tests🐫 Pull-request generated by opam-publish v2.1.0