Closed jmid closed 7 months ago
This was opened too soon, causing all 5.2 workflows to fail as they were still testing 5.2.0~alpha1 without the fix.
Now that CI targets 5.2.0~beta1 with #445 I've rebased the PR.
In doing so I've removed the commit marking the Out_channel
issue as fixed, as that was fixed in #442.
CI summary:
Lin Dynlink stress test with Domain
#307 Lin Dynlink stress test with Domain
#307Lin Dynlink stress test with Domain
#307Out of 37 workflows 4 failed, all with genuine issues
CI summary for merge to main
:
Lin Dynlink stress test with Domain
#307Lin Dynlink stress test with Domain
#307Lin Dynlink stress test with Domain
#307Out of 38 workflows 4 failed, all with genuine issues
The PR
Ok
on output to a closedOut_channel
from 86f2ab27 in #431 as this has now been fixed in https://github.com/ocaml/ocaml/pull/12678fixed
in the issues listFinally I snuck in adding the Cygwin flexlink issue, to avoid having that trigger a full CI run...