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: Mar 28 2024 at 08:01 UTC