Stream: Coq devs & plugin devs

Topic: `Admitted` slow


view this post on Zulip Jason Gross (Mar 26 2022 at 03:01):

What would make Admitted slow (multiple minutes, I think)?

view this post on Zulip Jason Gross (Mar 26 2022 at 03:03):

201.5s, to be exact

view this post on Zulip Jason Gross (Mar 26 2022 at 03:08):

https://github.com/coq/coq/issues/15858

view this post on Zulip Ana de Almeida Borges (Mar 28 2022 at 10:13):

I've seen a slow admit before (to the point where I initially thought it might not be terminating). The code is now public, in case you want to take a look, but it's probably not the same issue you are running into.

view this post on Zulip Gaëtan Gilbert (Mar 28 2022 at 10:15):

404 on the 2nd link

view this post on Zulip Ana de Almeida Borges (Mar 28 2022 at 10:34):

Thanks, fixed.


Last updated: Mar 29 2024 at 09:02 UTC