Skip to content

Actions: yetanotherco/lambda_vm

Actions

Bench verifier

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench-verify.yml
166 workflow runs
166 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
Bench verifier Bench verifier #166: Manually run by Oppen
4m 11s bench/recursion-bench-infra
bench/recursion-bench-infra
4m 11s
bench(recursion): measure the verifier at real query counts, over real blocks Bench verifier #165: Issue comment #846 (comment) created by claude Bot
1s
1s
Bench verifier Bench verifier #164: Manually run by Oppen
3m 23s bench/recursion-bench-infra
bench/recursion-bench-infra
3m 23s
Bench verifier Bench verifier #163: Manually run by Oppen
3m 5s bench/recursion-bench-infra
bench/recursion-bench-infra
3m 5s
Feat/fext accelerator Bench verifier #162: Issue comment #818 (comment) created by claude Bot
1s
1s
Feat/fext accelerator Bench verifier #161: Issue comment #818 (comment) created by jotabulacios
2s
2s
Feat/fext accelerator Bench verifier #160: Issue comment #818 (comment) created by jotabulacios
6m 42s
6m 42s
Feat/fext accelerator Bench verifier #159: Issue comment #818 (comment) created by jotabulacios
1s
1s
spec: Draft FMA extension field accelerator Bench verifier #158: Issue comment #809 (comment) created by RobinJadoul
7s
7s
spec: update constraint ID system Bench verifier #157: Issue comment #570 (comment) created by erik-3milabs
1s
1s
spec: update constraint ID system Bench verifier #156: Issue comment #570 (comment) created by erik-3milabs
2s
2s
spec: update constraint ID system Bench verifier #155: Issue comment #570 (comment) created by claude Bot
1s
1s
Bench verifier Bench verifier #154: created by erik-3milabs
1s
1s
spec: update constraint ID system Bench verifier #153: Issue comment #570 (comment) created by erik-3milabs
1s
1s
perf(executor): back the private-input region with a paged Box map Bench verifier #152: Issue comment #852 (comment) created by claude Bot
1s
1s
perf(executor): back the private-input region with a paged Box map Bench verifier #151: Issue comment #852 (comment) created by Oppen
1s
1s
perf(executor): back the private-input region with a paged Box map Bench verifier #150: Issue comment #852 (comment) created by Oppen
1s
1s
perf(executor): back the private-input region with a paged Box map Bench verifier #149: Issue comment #852 (comment) created by Oppen
1s
1s
perf(executor): back the private-input region with a paged Box map Bench verifier #148: Issue comment #852 (comment) created by Oppen
10s
10s
bench(recursion): measure the verifier at real query counts, over real blocks Bench verifier #147: Issue comment #846 (comment) created by claude Bot
12s
12s
bench(recursion): measure the verifier at real query counts, over real blocks Bench verifier #146: Issue comment #846 (comment) created by Oppen
1s
1s
perf(prover): verify continuation proofs in place via rkyv Bench verifier #145: Issue comment #845 (comment) created by Oppen
1s
1s
perf(prover): verify continuation proofs in place via rkyv Bench verifier #144: Issue comment #845 (comment) created by claude Bot
2s
2s
perf(prover): verify continuation proofs in place via rkyv Bench verifier #143: Issue comment #845 (comment) created by Oppen
1s
1s
perf(executor): back the private-input region with a paged Box map Bench verifier #142: Issue comment #852 (comment) created by claude Bot
1s
1s