-
Notifications
You must be signed in to change notification settings - Fork 16
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.
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
[ocaml5-issue] General Cygwin slowness #384
Labels
ocaml5-issue
A potential issue in the OCaml5 compiler/runtime
Comments
This was referenced Aug 22, 2023
This was referenced Aug 31, 2023
This was referenced Sep 20, 2023
On the merge of 0.3 to
|
Closing this since Cygwin speed has picked up, culminating in #420 that merged the 2-split workflow into one that completes in under 2h. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The Windows Cygwin port is slow, to the point that the test suite has been split up into 2 workflows.
Despite this effort, we are regularly seeing 6 hour timeouts in one of these two workflow parts.
For comparison here are the times ("Total duration" as reported by GitHub) for the most recent 3 runs of
5.10*
following the merge of #381, #375, #377:For the recent 6h part 1 timeout, here's a summary of the 5 Cygwin tests taking +1000s and thus are the primary contributors:
https://github.com/ocaml-multicore/multicoretests/actions/runs/5888043978/job/15968482527
Of these, number 2 and 4 are positive tests completing 1000 test repetitions, and number 1,3, and 5 are negative tests that finds an expected counter example within 60-70s and spends the remaining time shrinking it.
The text was updated successfully, but these errors were encountered: