Skip to content

Actions: yetanotherco/lambda_vm

Actions

Bench verifier

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench-verify.yml
514 workflow runs
514 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Bench verifier #514: Issue comment #1030 (comment) created by claude Bot
7s
7s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Bench verifier #513: Issue comment #1030 (comment) created by jotabulacios
11s
11s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Bench verifier #512: Issue comment #1030 (comment) created by claude Bot
1s
1s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Bench verifier #511: Issue comment #1030 (comment) created by jotabulacios
2s
2s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Bench verifier #510: Issue comment #1027 (comment) created by claude Bot
3m 0s
3m 0s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Bench verifier #509: Issue comment #1027 (comment) created by MauroToscano
3m 57s
3m 57s
Derive page configs without a per-byte image Bench verifier #508: Issue comment #1006 (comment) created by claude Bot
5m 48s
5m 48s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Bench verifier #507: Issue comment #1027 (comment) created by MauroToscano
4m 18s
4m 18s
Derive page configs without a per-byte image Bench verifier #506: Issue comment #1006 (comment) created by MauroToscano
7m 19s
7m 19s
Feat/is whh Bench verifier #505: Issue comment #1022 (comment) created by claude Bot
1s
1s
Feat/is whh Bench verifier #504: Issue comment #1022 (comment) created by jotabulacios
1s
1s
Fix: Preprocess the CPU timestamp Bench verifier #503: Issue comment #1025 (comment) created by claude Bot
8m 8s
8m 8s
Fix: Preprocess the CPU timestamp Bench verifier #502: Issue comment #1025 (comment) created by nicole-graus
2m 33s
2m 33s
Fix: Preprocess the CPU timestamp Bench verifier #501: Issue comment #1025 (comment) created by nicole-graus
2m 39s
2m 39s
Fix: Preprocess the CPU timestamp Bench verifier #500: Issue comment #1025 (comment) created by nicole-graus
3m 9s
3m 9s
Feat/is whh Bench verifier #499: Issue comment #1022 (comment) created by nicole-graus
1s
1s
Feat/is whh Bench verifier #498: Issue comment #1022 (comment) created by claude Bot
1s
1s
Feat/is whh Bench verifier #497: Issue comment #1022 (comment) created by jotabulacios
1s
1s
Fix: Constrain table multiplicities Bench verifier #496: Issue comment #1016 (comment) created by claude Bot
11s
11s
Fix: pin final PC to halt Bench verifier #495: Issue comment #1020 (comment) created by claude Bot
11s
11s
Fix: pin final PC to halt Bench verifier #494: Issue comment #1020 (comment) created by nicole-graus
1s
1s
Fix: Constrain table multiplicities Bench verifier #493: Issue comment #1016 (comment) created by nicole-graus
11s
11s
Fix: Constrain table multiplicities Bench verifier #492: Issue comment #1016 (comment) created by nicole-graus
9s
9s
Fix: pin final PC to halt Bench verifier #491: Issue comment #1020 (comment) created by nicole-graus
2s
2s
Unify memcpy, memmove, memset and commit on one accelerator Bench verifier #490: Issue comment #984 (comment) created by nicole-graus
13m 21s
13m 21s