Jan Midtgaard
Jan Midtgaard
Just rebased on latest `main`
5/8 CI runs fail to trigger the `Bytes` failure within the 1000 iterations, which makes the CI turn red.
Rebased on latest main
Rebased on latest main
Rebased on latest main to try it out on 5.0.0~beta1 and with a bytecode CI target
CI is all red, so I've spent some time trying to understand why: - On Linux it generally fails because the `Lin_api` `Bytes` issue is not triggered - On MacOSX...
> I wonder whether some recent modifications of the compiler might not be making some expected-to-fail tests require more runs to appear. To try and start testing that hypothesis, I...
I realized that reducing the `init` size in `src/bytes/lin_tests_dsl.ml` from 42 to 8 gave a nice output, but unexpectedly reduced our ability to trigger the `Bytes` issue. I have therefore...
This is improving as it no longer all red! :smiley: There are still a few outstanding issues: - three MacOSX runs are not triggering the `Lin_api` `BigArray1` issue - a...
Rebased on latest `main` to pick up the combined effect of #160 (on `multiple-ts`) and #161 (on `main`)