Pierre-Marie Pédrot (Sep 25 2020 at 08:18): 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
Pierre-Marie Pédrot (Sep 25 2020 at 08:18):is it expected to take so long or did something wrong happen?
Gaëtan Gilbert (Sep 25 2020 at 08:43):verdi+raft takes ~30min in ci https://gitlab.com/coq/coq/-/jobs/754770643 so strange
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.
Pierre-Marie Pédrot (Sep 25 2020 at 11:17):Might be related to the failure of color in the CI.
Last updated: Dec 07 2023 at 09:01 UTC