Verdi has been compiling for more than 3h on this particular bench, with master branch: https://gitlab.com/coq/coq/-/jobs/756080440
is it expected to take so long or did something wrong happen?
verdi+raft takes ~30min in ci https://gitlab.com/coq/coq/-/jobs/754770643 so strange
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.
Might be related to the failure of color in the CI.
Last updated: May 28 2023 at 13:30 UTC