-
Notifications
You must be signed in to change notification settings - Fork 1.1k
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
Jane Street packages: v0.13.0 #15324
Conversation
Could you remove all the |
And |
Sorry, there is apparently a problem with the export script. |
Should be slightly better now; sorry for the false start. |
The Travis builds failed on timeout. The other failures seem to fall into two categories (I have to admit
|
It must have been running at the same time as the daily docker purge. I've relaunched the failing jobs. |
It feels like the CI has not made any progress for several hours |
Seems alright. I'm launching Camelus manually just as a quick check but it seems good. cc @thomasblanc could you check why so many PRs are left out by Camelus? More than half of them are not checked and it has been the case for a while now. |
☀️ All lint checks passed 0049468
🌤️ Installability check (+14)
|
Mmh, the branch is too old to have a decent result. Oh well. Merging anyway. Could you check |
Thanks |
Thanks; there is indeed an issue with The latest A fix is in #15336. |
@kit-ty-kate we had a certificate issue that is now fixed. Camelus should be working. Please let me know in case of a problem because neither Louis or I have much time to babysit him atm. |
No description provided.