Stream: Coq devs & plugin devs

Topic: Average bench results

view this post on Zulip Ali Caglayan (Sep 28 2021 at 14:38):

Since there is always some noise with bench results, would it make sense to do a small average? Maybe 5 runs each or so?

view this post on Zulip Gaƫtan Gilbert (Sep 28 2021 at 14:52):

for some developments that would eat a lot of time (eg perennial takes > 1h for each version tested)
it could make sense for the faster ones, eg the <10min ones

Last updated: Feb 05 2023 at 19:29 UTC