Gaëtan Gilbert (Oct 08 2022 at 10:54): Gaëtan Gilbert (Oct 08 2022 at 10:54):coqbot didn't post when the bench finished for the last couple benches in https://github.com/coq/coq/pull/16609
Théo Zimmermann (Oct 08 2022 at 14:07):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?
Théo Zimmermann (Oct 08 2022 at 14:11):For another bench job, it is a different artifact which is missing: https://coq.gitlab.io/-/coq/-/jobs/3140400545/artifacts/_bench/timings/slow_table
Théo Zimmermann (Oct 08 2022 at 14:20):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
Théo Zimmermann (Oct 08 2022 at 14:51):It was the case for the two jobs for which you had to push the summary manually:
Théo Zimmermann (Oct 08 2022 at 14:52):That being said, we could be robust to these additional tables missing and post the summary in all cases.
Last updated: Sep 28 2023 at 11:01 UTC