-
Notifications
You must be signed in to change notification settings - Fork 38
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update benchmarks and domainslib to support ocaml 4.14.0+domains (ocaml 5.0) #261
Update benchmarks and domainslib to support ocaml 4.14.0+domains (ocaml 5.0) #261
Conversation
The version number mismatch is causing the 4.14.0+trunk build to fail. The following issue is related: ocaml-multicore/ocaml-multicore#709. |
Looks like upstream has changed the version number to 5.00.0: https://github.com/ocaml/ocaml/blob/trunk/VERSION#L1. So |
Ping @shubhamkumar13. |
…drome.yml file to reflect the same
I've added an issue tracing I think it's best to merge this before and then #257 can be merged (since there are changes to drome.yml file where I've updated the trunk from |
…umar13/sandmark into update-benchmarks-for-ocaml-5.0
This PR also updates |
…ml-migrate-parsetree build is not attempted in OCaml.5.00.0
remove run_in_ci tag from irmin benchmark
This PR is the first step in adding ocaml 5.0 support for the benchmarks in sandmark.
The PR adds domainslib.0.3.2 and updates the benchmarks supporting the updated api for domainslib