Gaëtan Gilbert (Dec 06 2021 at 12:17): Gaëtan Gilbert (Dec 06 2021 at 12:17):See https://github.com/coq/coq/pull/15296
hott.png
unimath.png
Janno (Dec 06 2021 at 12:19):What's the X axis?
Gaëtan Gilbert (Dec 06 2021 at 12:19):number of benches
Gaëtan Gilbert (Dec 06 2021 at 12:20):for instance we have only 3 successful benches with vst since the zulip bot so it looks pretty stupid
vst.png
Janno (Dec 06 2021 at 12:23):This is neat! I take it all the benches are from the same computer to make them comparable?
Gaëtan Gilbert (Dec 06 2021 at 12:28):not really :v
older benches may have run on "pendulum", it had issues a few months ago so got paused
the other benches were run on ci-coq-$n.sophia.inria.fr which should be identical
Last updated: Dec 07 2023 at 09:01 UTC