I'm thinking of adding some infrastructure to coq-performance-tests to autogenerate plots (with regression lines, even, if we want them) showing the time of the various benchmarks in it. What would be the most useful format for this? I can have GH Actions re-profile everything on each commit and on cron, so we get a running history of plots/data, with some noise (possibly also across versions). Or I can have the performance results be checked in. Thoughts?
Last updated: Oct 21 2021 at 20:02 UTC