Stream: coqbot devs & users

Topic: bench posting broken?


view this post on Zulip 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

view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Gaëtan Gilbert (Oct 08 2022 at 14:32):

that first one is just a bad failure (stdlib failed)
don't know why the 2nd has no tables other than summary

view this post on Zulip 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:

view this post on Zulip 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: Jan 31 2023 at 09:01 UTC