-
Notifications
You must be signed in to change notification settings - Fork 16
Description
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:
Linux:
40m 14s
30m 32s
33m 58s
macOS
35m 40s
36m 51s
30m 20s
Windows MingW
1h 27m 38s
1h 35m 45s
1h 24m 1s
Windows Cygwin
10h 0m 43s -- 6h 0m 8s* + 4h 0m 9s
9h 3m 55s -- 4h 36m 43s + 4h 26m 46s
8h 1m 25s -- 4h 24m 2s + 3h 34m 12s
*timeout
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
1059.6s STM Ephemeron test parallel
1736.2s Lin DSL Atomic test with Domain
1027.1s Lin DSL Hashtbl test with Domain
1980.6s Lin DSL Bytes test with Domain
1772.1s Lin DSL Out_channel test with Domain
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.