Pierre-Marie Pédrot (Mar 07 2021 at 10:38): 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.
Pierre-Marie Pédrot (Mar 07 2021 at 10:39):@Emilio Jesús Gallego Arias any idea how to fix this?
Pierre-Marie Pédrot (Mar 07 2021 at 10:39):There is a full trace here: https://gitlab.com/coq/coq/-/jobs/1078376345
Gaëtan Gilbert (Mar 07 2021 at 14:46):fix was merged
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: Apr 20 2024 at 01:41 UTC