coqbot didn't post when the bench finished for the last couple benches in https://github.com/coq/coq/pull/16609
Apparently, the bot was looking for the bench summary at https://coq.gitlab.io/-/coq/-/jobs/3144257914/artifacts/_bench/timings/bench_summary but it was not there. Has something changed in the way the bench results are stored?
For another bench job, it is a different artifact which is missing: https://coq.gitlab.io/-/coq/-/jobs/3140400545/artifacts/_bench/timings/slow_table
I'm also getting these warnings. I'm not sure what they mean:
Bench Check Summary URL missing: Warning: Could not retrieve new check run URL
that first one is just a bad failure (stdlib failed)
don't know why the 2nd has no tables other than summary
It was the case for the two jobs for which you had to push the summary manually:
That being said, we could be robust to these additional tables missing and post the summary in all cases.
Last updated: Jan 31 2023 at 09:01 UTC