Stream: Coq devs & plugin devs

Topic: Bench broken


view this post on Zulip Pierre-Marie Pédrot (Mar 07 2021 at 10:38):

The bench script is currently broken on master, and it is probably due to https://github.com/coq/coq/pull/12567.

view this post on Zulip Pierre-Marie Pédrot (Mar 07 2021 at 10:39):

@Emilio Jesús Gallego Arias any idea how to fix this?

view this post on Zulip Pierre-Marie Pédrot (Mar 07 2021 at 10:39):

There is a full trace here: https://gitlab.com/coq/coq/-/jobs/1078376345

view this post on Zulip Gaëtan Gilbert (Mar 07 2021 at 14:46):

fix was merged

view this post on Zulip Emilio Jesús Gallego Arias (Mar 07 2021 at 16:37):

Yeah, sorry about that, there is still so many combinations of use cases we don't test :( I'll try to be pretty responsive to fix any issues may arise.


Last updated: Oct 16 2021 at 09:07 UTC