Jan Midtgaard
Jan Midtgaard
> As `main` and `multiple-ts` contain naturally conflicting changes, I find it makes more sense (at least to me) to merge instead of rebasing. Not sure I follow you here....
In 5e460ad I've now tried to rephrase the intended semantics of the `_returning` combinators. Overall this feature is starting to shape up nicely - thanks for helping out @shym! For...
I've now taken a first stab at merging `main` into this one. It will require some more polishing and revision, but I wanted to throw it after the CI targets...
To summarize the latest CI run: - 3 threadomain failures - 1 Windows bytecode crash + 2 Windows timeouts (trunk + 5.0.0 bytecode) - 2 Windows `Dynlink` crashes (5.0.0 +...
a1dc261 offers a simplification of the `Lin*` interfaces by defining a `cmd_triple` record type.
Resolved conflicts from merging `main` into this one
The test suite is failing in a number of different ways with the current PR. I tested on a MacMini, where increasing the frequency of `Bigarray.Array.get` makes the expected failure...
Sorry for the slowness on this one! :pray: I realized you had some nice renaming and so ripped out the first commit and created #292 from it for a start....
I'll close this for now. A part of the PR was merged in the form of #292. Thanks again!
I'm a bit hesitant about this one. As someone who has scanned CI logs for the past two weeks I certainly follow you on the benefits! On the negative side,...