Stream: Coq devs & plugin devs

Topic: Async failures


view this post on Zulip Théo Zimmermann (Mar 02 2021 at 20:57):

@Enrico Tassi This job failed with a segfault in one of the test-suite tests: https://gitlab.com/coq/coq/-/jobs/1067678611/artifacts/browse/test-suite/logs/success/
I guess it doesn't contain enough info to debug though.

view this post on Zulip Enrico Tassi (Mar 02 2021 at 21:55):

I'm afraid not, retrying it hoping it will fail again


Last updated: Oct 16 2021 at 02:03 UTC