Jason Gross (Oct 17 2022 at 02:35): 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?
Ali Caglayan (Oct 17 2022 at 17:04):@Jason Gross I can do that when I impelement a failed jobs list.
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
Ali Caglayan (Oct 17 2022 at 17:06):I'm increasing the line stats count to 50 and adding pdiff tables too.
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.
Jason Gross (Oct 18 2022 at 07:18):Thank you!
Last updated: Feb 01 2023 at 15:04 UTC