Jan Midtgaard

I was able to reproduce this consistently with the reported seed in a docker container running ocaml 5.2.1: ``` $ docker run -it --platform linux/i386 ocaml/opam:debian-12-ocaml-5.2 $ sudo cp -p...

CI summary: - Linux 5.3 debug aborted `stm_tests_par_stress` with an assertion error #470 - Linux trunk debug aborted `stm_tests_par_stress` with an assertion error #470 - macOS-ARM64 5.3 segfaulted in `stm_tests_par_stress`...

Dummy push to trigger a fresh CI rerun with the fix of https://github.com/ocaml/ocaml/issues/13090 merged

CI summary for c592e05 - Cygwin 5.3 timed out after 10691.4s shrinking in `Lin Bytes test with Domain` #520 - Cygwin trunk timed out after 9783.0s shrinking in `Lin Bytes...

CI summary for dcb978b: - Linux 5.3 debug failed in `STM Gc stress test parallel` with an assertion error `local->stats.pool_live_words == pool_stats.live` #470 - OPAM installation / build-and-test (ocaml-variants.5.4.0+trunk) failed...

I've just - rebased on `main`, - added a guard to `Gc.compact` in 404dd17, and - added the issue to the README list

CI summary for 0a43592 - Cygwin trunk timed out in `Lin Bytes test with Thread` #526 Out of 51 workflows 1 failed with a borderline defect/reliability issue

CI summary for merge to `main`: - Cygwin 5.3 timed out after 9799.3s while shrinking in `STM Dynarray test parallel (int)` #554 Out of 51 workflows, 1 failed with a...

This happened - again on Cygwin 5.3: https://github.com/ocaml-multicore/multicoretests/actions/runs/15154617306/job/42606915788 ``` random seed: 499915151 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s...

Ack! This should be relatively straightforward... The current timeout is hardcoded here at the top: https://github.com/jmid/mutaml/blob/cb731549abbdd67f15a130df3a850d4445781127/src/runner/runner.ml#L4 I would then add a command-line option like for build-context: https://github.com/jmid/mutaml/blob/cb731549abbdd67f15a130df3a850d4445781127/src/runner/runner.ml#L33-L36 and similar logic...