Would it be possible (and permissible) to have coqbot / the bench script tag me when coq-fiat-crypto-with-bedrock fails on the bench?
@Jason Gross I can do that when I impelement a failed jobs list.
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
I'm increasing the line stats count to 50 and adding pdiff tables too.
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.
Last updated: Feb 01 2023 at 15:04 UTC