Jason Gross (Mar 26 2022 at 03:01): Jason Gross (Mar 26 2022 at 03:01):What would make Admitted slow (multiple minutes, I think)?
Jason Gross (Mar 26 2022 at 03:03):201.5s, to be exact
Jason Gross (Mar 26 2022 at 03:08):https://github.com/coq/coq/issues/15858
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.
Gaëtan Gilbert (Mar 28 2022 at 10:15):404 on the 2nd link
Ana de Almeida Borges (Mar 28 2022 at 10:34):Thanks, fixed.
Last updated: Jun 09 2023 at 07:01 UTC