Add the Dynlink/flexdll issue and the Sys.rename regression issue

ocaml-multicore / multicoretests

PBT testsuite and libraries for testing multicore OCaml

BSD 2-Clause "Simplified" License

37 stars 16 forks source link

Closed jmid closed 2 months ago

jmid commented 2 months ago

CI summary: All 36 workflows passed :tada:

jmid commented 2 months ago

CI summary for merge to main:

32bit trunk failed with a segfault in STM Domain.DLS test sequential #446
linux-s390x-5.1 found an unexpected counterexample to STM Sys test parallel in only 200 iterations #466

Out of 37 workflows 2 failed with 1 genuine issue and 1 false alarm