Dear Cygwin Team,
apparently there was a change in the test release (what I get when I run
cygwin setup with --allow-test-packages) in the last few days. With the
latest test release I see CI failures again with the same effect - make
just hangs after finished builds.
Here is the version and pass/fail info:
Fail (2 failures seen in 4 runs) cygwin-devel 3.6.0-0.321.g23f4aac7e760
Pass (no failures seen in 12 runs) cygwin-devel 3.6.0-0.320.g1e6a3b39f1c6
Fail (failure rate about 60% in > 20 runs) cygwin-devel 3.5.5-1
I do plan a Coq Platform (a popular interactive theorem prover) release
end of January, but I can't do this before cygwin is fixed. I trust that
you get this done in time.
Best regards,
Michael
P.S.: While writing this I got in a daily build result with
cygwin-devel 3.6.0-0.327.gca22984cc4ad - this succeeded twice so far,
which is inconclusive - I will run statistics on this.
You can find my CI results here:
https://github.com/coq/platform/actions
When a Windows build fails in there, this is usually the reason. The
cygwin version used is shown in the logs.
--
Problem reports: https://cygwin.com/problems.html
FAQ: https://cygwin.com/faq/
Documentation: https://cygwin.com/docs.html
Unsubscribe info: https://cygwin.com/ml/#unsubscribe-simple
