Stream: Coq devs & plugin devs

Topic: coq-performance-tests


view this post on Zulip Jason Gross (Jun 22 2020 at 18:25):

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