Stream: Coq devs & plugin devs

Topic: bench


view this post on Zulip Jason Gross (Oct 17 2022 at 02:35):

Would it be possible (and permissible) to have coqbot / the bench script tag me when coq-fiat-crypto-with-bedrock fails on the bench?

view this post on Zulip Ali Caglayan (Oct 17 2022 at 17:04):

@Jason Gross I can do that when I impelement a failed jobs list.

view this post on Zulip Ali Caglayan (Oct 17 2022 at 17:05):

I have some improvements to the bench here that need looking at: https://github.com/coq/coq/pull/16680
Comes with a corresponding coqbot PR too: https://github.com/coq/bot/pull/240

view this post on Zulip Ali Caglayan (Oct 17 2022 at 17:06):

I'm increasing the line stats count to 50 and adding pdiff tables too.

view this post on Zulip Ali Caglayan (Oct 17 2022 at 22:33):

Ali Caglayan said:

Jason Gross I can do that when I impelement a failed jobs list.

Done. Waiting for a few PRs to go before I submit the PR tho.

view this post on Zulip Jason Gross (Oct 18 2022 at 07:18):

Thank you!


Last updated: Feb 01 2023 at 15:04 UTC