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

view this post on Zulip Gaëtan Gilbert (Sep 07 2021 at 12:53):

I've seen some test-suite:base+async failures of the form the term foo of type forall A : Type, bla cannot be applied to the terms x : Type, ...: the 1st term has type Type@{thing} which should be coercible to Type@{other thing}
I've not been able to reproduce locally even using the corresponding base+async artifacts
any ideas what's going on here?

Last updated: Dec 05 2023 at 06:01 UTC