@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.
I'm afraid not, retrying it hoping it will fail again
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}
eg https://gitlab.com/coq/coq/-/jobs/1568604521 https://gitlab.com/coq/coq/-/jobs/1566190640
I've not been able to reproduce locally even using the corresponding base+async artifacts
any ideas what's going on here?
Last updated: Oct 13 2024 at 01:02 UTC