Jan Midtgaard

> I am a bit familiar with the syntax of OCaml, and I know some concepts related to software testing. OK. In that case I would suggest - starting by...

Hm. Despite the same acronym, the OCaml `qcheck-stm` package (`STM` for short) is a state-machine testing library and has nothing to do with https://en.wikipedia.org/wiki/Software_transactional_memory There's a description here: https://github.com/ocaml-multicore/multicoretests?tab=readme-ov-file#a-parallel-state-machine-testing-library and...

Thanks! For this repository my recommendation in https://github.com/ocaml-multicore/multicoretests/issues/497#issuecomment-2553910942 still stands. I don't have the resources to provide a step-by-step guide unfortunately. :shrug: As for the other ocaml-multicore repositories, I recommend...

This happened again on Cygwin `trunk` on #508: https://github.com/ocaml-multicore/multicoretests/actions/runs/15142200673/job/42568941136 ``` random seed: 195021863 generated error fail pass / total time test name [ ] 0 0 0 0 / 5000...

This just happened again on the scheduled `trunk` Cygwin run: https://github.com/ocaml-multicore/multicoretests/actions/runs/15964255540/job/45021752188 ``` random seed: 330479995 generated error fail pass / total time test name [ ] 0 0 0 0...

Note: This has been observed for months (Jan, Feb, Mar) before #540 tweaking the `Thread` mode was merged on Mar.26. As such I don't believe the tweaks are to blame...

This happened again on the weekly scheduled run for Cygwin 5.3.0 causing a timeout: https://github.com/ocaml-multicore/multicoretests/actions/runs/16559608058/job/46826811130 ``` random seed: 86442451 generated error fail pass / total time test name [ ]...

Argh, it looks like the previous cache entry is being hit: ``` native_compiler: false architecture: i386 ```

Rebased on `main`. This still needs cache key tweaking, but to avoid guessing I need CI logs (and cache entries) to figure it out.

Hm, the cache keys for these two look right to me: ``` Run bash multicoretests/.github/runner.sh build bash multicoretests/.github/runner.sh build shell: /usr/bin/bash -e {0} env: ... OCAML_OPTIONS: musl OCAML_PLATFORM: linux ......