-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
+ extunix 0.3.1 #18483
+ extunix 0.3.1 #18483
Conversation
Are the test failures on centos-7 and oraclelinux-7 expected?
And
|
will need to look into tests failure, but I will consider it not immediately blocking the release |
Mmh, it appeared also on another test:
eDIT: this looks like a dune issue though |
I have notified dune maintainers and confirmed that the issues is with dune being excessively strict when deleting temp files. I think this can be merged, @kit-ty-kate do you agree? |
I filed a dune issue, looks good to merge! |
This release still had some issues. Our CI had some problems and did not test the revdeps without saying anything.
|
Argh. I had not yet realised the CI issue back then. There may actually be a number of other packages with broken revdeps |
Luckily this seems to be the only one for this PR: http://check.ocamllabs.io/diff/1617127610-86c6c9a7aa07f22c4aa560fa3003a920d2a8f13f..1618491516-7af4b295dc2de0b2b594c05ab4af40ef963bbc5c |
it looks like only old versions of devkit are affected, it is not worth investigating why, I will just drop them with the next release of devkit. |
oops sorry my bad, indeed I missed devkit > 1.x for some reason when looking at their available versions. I'll send a PR to add the appropriate constraint to those old versions right away |
follow-up to #18478 with compatibility maintained