CakeML / regression

Regression testing infrastructure for CakeML
https://cakeml.org/regression.cgi
GNU General Public License v3.0
3 stars 8 forks source link

Use 100-job average for expected times #31

Closed hrutvik closed 2 months ago

hrutvik commented 2 months ago

Recently CakeML regression times have changed significantly, due to build sequence edits and usage of cv_compute. As a result, the expected/average times displayed on the webpage are quite inaccurate. This PR attempts to improve the situation by using a 100-job moving average to calculate these times, instead of an all-job average.