Stream: Coq devs & plugin devs

Topic: Verdi bench stuck


view this post on Zulip Pierre-Marie Pédrot (Sep 25 2020 at 08:18):

Verdi has been compiling for more than 3h on this particular bench, with master branch: https://gitlab.com/coq/coq/-/jobs/756080440

view this post on Zulip Pierre-Marie Pédrot (Sep 25 2020 at 08:18):

is it expected to take so long or did something wrong happen?

view this post on Zulip Gaëtan Gilbert (Sep 25 2020 at 08:43):

verdi+raft takes ~30min in ci https://gitlab.com/coq/coq/-/jobs/754770643 so strange

view this post on Zulip Karl Palmskog (Sep 25 2020 at 11:06):

did something change in type class resolution? Verdi Raft uses quite a lot of typeclasses and Hint Extern. I could definitely see that something might diverge if some typeclass-related mechanism is changed.

view this post on Zulip Pierre-Marie Pédrot (Sep 25 2020 at 11:17):

Might be related to the failure of color in the CI.


Last updated: Oct 16 2021 at 02:03 UTC