New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Move 520-workflows on GitHub actions to 5.2.0~beta1 #445

Merged

jmid merged 1 commit into main from 520-move-beta1

Mar 26, 2024

Collaborator

jmid commented Mar 26, 2024

This moves our 520-workflows to target the freshly released 5.2.0~beta1


          Move 520-workflows on GitHub actions to 5.2.0~beta1

c56e176

jmid mentioned this pull request

[ocaml5-issue] Segfault in STM Domain.DLS test sequential on 32-bit trunk #446

Open

Collaborator Author

jmid commented Mar 26, 2024

CI summary

32bit trunk failed with a segfault in STM Domain.DLS test sequential [ocaml5-issue] Segfault in STM Domain.DLS test sequential on 32-bit trunk #446
Cygwin trunk failed during configure [ocaml5-issue] configure flexlink test regression under Cygwin #439
Cygwin 5.2 timed out during negative Lin Dynlink test with Domain [ocaml5-issue] Deadlock in Dynlink test on Cygwin+MinGW+MSVC #307
MinGW 5.2 timed out during Lin Dynlink stress test with Domain [ocaml5-issue] Deadlock in Dynlink test on Cygwin+MinGW+MSVC #307
MinGW trunk timed out during Lin Dynlink stress test with Domain [ocaml5-issue] Deadlock in Dynlink test on Cygwin+MinGW+MSVC #307

Out of 35 workflows 5 failed all with genuine issues, incl. a new one.

jmid merged commit ed69ba9 into main

20 of 25 checks passed

jmid deleted the 520-move-beta1 branch

March 26, 2024 19:33

jmid mentioned this pull request

[ocaml5-issue] Assertion failure s->running during parallel STM or Lin tests #447

Closed

Collaborator Author

jmid commented Mar 27, 2024

CI summary for merge to main:

Cygwin 5.2 timed out in negative Lin Dynlink test with Domain [ocaml5-issue] Deadlock in Dynlink test on Cygwin+MinGW+MSVC #307
Cygwin trunk failed during FlexDLL configure [ocaml5-issue] configure flexlink test regression under Cygwin #439
Linux trunk debug aborted with an assertion error in STM Out_channel test parallel [ocaml5-issue] Assertion failure s->running during parallel STM or Lin tests #447
MinGW 5.2 timed out during Lin Dynlink stress test with Domain [ocaml5-issue] Deadlock in Dynlink test on Cygwin+MinGW+MSVC #307
MinGW trunk timed out during Lin Dynlink stress test with Domain [ocaml5-issue] Deadlock in Dynlink test on Cygwin+MinGW+MSVC #307

Out of 36 workflows 5 failed all with genuine issues, incl. a new one.

jmid mentioned this pull request

Revert temporary acceptance in STM Out_channel test #441

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet