Move GA workflows from 5.2.0~beta2 to 5.2.0 release

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 5 months ago

jmid commented 5 months ago

Following https://github.com/shym/custom-opam-repository/pull/12 this PR moves the GitHub Actions workflows from 5.2.0~beta2 to the 5.2.0 release.

jmid commented 5 months ago

CI summary: All 36 workflows passed :tada:

jmid commented 5 months ago

CI summary for merge to main:

32bit trunk triggered a segfault in STM Domain.DLS test sequential #446
linux-arm64-5.1 found a counterexample to STM Out_channel test parallel #444
linux-s390x-5.1 failed with Disconnected: Switch turned off during Lin.Internal CList int64 test with Thread
linux-s390x-5.2 failed with Disconnected: Switch turned off during Lin.Internal CList int test with Thread

Out of 37 workflows 4 failed with 2 genuine failures and 2 CI infrastructure issues