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

Increment count for STM int64 ref test with Thread #455

Merged

jmid merged 1 commit into main from incr-stm-thread-ref

Apr 19, 2024

Collaborator

jmid commented Apr 19, 2024

This failed to trigger a counterexample on macos-arm64-5.2 within 2500 iterations on the merge of #454 to main.


          Increment count for STM int64 ref test with Thread

0431b52

Collaborator Author

jmid commented Apr 19, 2024

CI summary

Cygwin trunk timed out during Lin.Internal CList int test with Thread after spending 1449.1s Lin Bytes test with Domain and 6330.6s Lin Hashtbl test with Domain

The latter seems rather excessive!

Out of 37 workflows with a borderline genuine issue / false alarm

jmid merged commit c993045 into main

26 of 27 checks passed

jmid deleted the incr-stm-thread-ref branch

April 19, 2024 16:55

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

Labels

None yet