Update core_kernel and dependencies #208
Update core_kernel and dependencies #208toots merged 9 commits intoocaml-cross:masterfrom WardBrian:update-core
Conversation
|
I should note these should be compatible with 4.11 as well, so they aren't dependent on #206 |
|
Sorry about the missed dep. I think it will work this time (It got through installing the really big dependency-havers before failing the first time) |
|
I think I can run the CI locally now so I'm trying that before pushing the fix - there are a few other brand-new packages in this PR that I want to make sure I found all the dependencies for |
|
This now passes everything locally for me in the docker instance. |
|
It seems like the 6 hour time limit cut off the x64 test right before it was going to finish. Do I need to split this PR? |
toots
left a comment
toots
left a comment
There was a problem hiding this comment.
It passed one of the two architectures, I believe that this is enough. Thanks for the hard work!
2 participants
Similar to #207, this compiles locally but the docker instance has unrelated issues and fails before testing starts.
My apologies for all the changes at once, I didn't realize just how deep the dependency trees went. I'm happy to split it up if desired, the end goal was simply to update core_kernel to
0.14.2