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:
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