The bench script is currently broken on master, and it is probably due to https://github.com/coq/coq/pull/12567.
@Emilio Jesús Gallego Arias any idea how to fix this?
There is a full trace here: https://gitlab.com/coq/coq/-/jobs/1078376345
fix was merged
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