Skip to content

Actions: yetanotherco/lambda_vm

Actions

Spec tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_spec.yaml
1,897 workflow runs
1,897 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
spec: Inline PC memory access into CPU Spec tests #197: Pull request #501 synchronize by RobinJadoul
10s spec/inline-pc
spec/inline-pc
10s
Potential optimization -> subsubsection Spec tests #196: Commit 21ce26f pushed by RobinJadoul
11s spec/inline-pc
spec/inline-pc
11s
Add field element comparison script Spec tests #195: Pull request #504 synchronize by nicole-graus
11s bench_elements_vs
bench_elements_vs
11s
fix(ci): add rust program cache in ci Spec tests #194: Pull request #513 synchronize by ColoCarletti
12s ci/cache-rust-elfs-for-prover-tests
ci/cache-rust-elfs-for-prover-tests
12s
fix(ci): add rust program cache in ci Spec tests #193: Pull request #513 opened by ColoCarletti
10s ci/cache-rust-elfs-for-prover-tests
ci/cache-rust-elfs-for-prover-tests
10s
Bench vs other vms Spec tests #192: Pull request #365 synchronize by nicole-graus
12s bench_vs
bench_vs
12s
feat(prover): Memory-mapped private input for guest programs Spec tests #191: Pull request #512 opened by ColoCarletti
14s feat/private-input-v2
feat/private-input-v2
14s
Fix(prover): fix issues blocking Rust std program verification Spec tests #190: Pull request #511 opened by ColoCarletti
15s fix/prover-bus-bugs
fix/prover-bus-bugs
15s
Feat/inline pc Spec tests #189: Pull request #505 synchronize by diegokingston
13s feat/inline-pc
feat/inline-pc
13s
spec: Inline PC memory access into CPU Spec tests #188: Pull request #501 synchronize by RobinJadoul
12s spec/inline-pc
spec/inline-pc
12s
Remove pc_double_read constraints and clarify why in cpu.typ Spec tests #187: Commit b4b4129 pushed by RobinJadoul
10s spec/inline-pc
spec/inline-pc
10s
spec: Inline PC memory access into CPU Spec tests #186: Pull request #501 synchronize by RobinJadoul
10s spec/inline-pc
spec/inline-pc
10s
Apply review suggestion Spec tests #185: Commit 590809e pushed by RobinJadoul
10s spec/inline-pc
spec/inline-pc
10s
perf: base-field constraint evaluation for F×E accumulation Spec tests #184: Pull request #510 synchronize by diegokingston
12s feat/base-field-constraint-eval
feat/base-field-constraint-eval
12s
perf: base-field constraint evaluation for F×E accumulation Spec tests #183: Pull request #510 opened by diegokingston
7s feat/base-field-constraint-eval
feat/base-field-constraint-eval
7s
Feat/airbuilder constraints Spec tests #182: Pull request #509 synchronize by diegokingston
10s feat/airbuilder-constraints
feat/airbuilder-constraints
10s
Feat/airbuilder constraints Spec tests #181: Pull request #509 synchronize by diegokingston
8s feat/airbuilder-constraints
feat/airbuilder-constraints
8s
Feat/airbuilder constraints Spec tests #180: Pull request #509 synchronize by diegokingston
9s feat/airbuilder-constraints
feat/airbuilder-constraints
9s
Feat/airbuilder constraints Spec tests #179: Pull request #509 synchronize by diegokingston
10s feat/airbuilder-constraints
feat/airbuilder-constraints
10s
Feat/airbuilder constraints Spec tests #178: Pull request #509 synchronize by diegokingston
9s feat/airbuilder-constraints
feat/airbuilder-constraints
9s
Feat/airbuilder constraints Spec tests #177: Pull request #509 synchronize by diegokingston
7s feat/airbuilder-constraints
feat/airbuilder-constraints
7s
Feat/airbuilder constraints Spec tests #176: Pull request #509 synchronize by diegokingston
10s feat/airbuilder-constraints
feat/airbuilder-constraints
10s
Feat/airbuilder constraints Spec tests #175: Pull request #509 synchronize by diegokingston
9s feat/airbuilder-constraints
feat/airbuilder-constraints
9s
Feat/airbuilder constraints Spec tests #174: Pull request #509 opened by diegokingston
7s feat/airbuilder-constraints
feat/airbuilder-constraints
7s
Add prover benchmark to measure scaling Spec tests #173: Pull request #507 synchronize by gabrielbosio
8s bench-prover-scaling
bench-prover-scaling
8s
ProTip! You can narrow down the results and go further in time using created:<2026-04-17 or the other filters available.