See https://github.com/coq/coq/pull/15296
hott.png
unimath.png
What's the X axis?
number of benches
for instance we have only 3 successful benches with vst since the zulip bot so it looks pretty stupid
vst.png
This is neat! I take it all the benches are from the same computer to make them comparable?
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: May 28 2023 at 13:30 UTC