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
Disk-spill for proving 32M program Spec tests #97: Pull request #466 synchronize by gabrielbosio
9s feat/disk-spill-v2-parallel-r2
feat/disk-spill-v2-parallel-r2
9s
Perf/registers on main Spec tests #96: Pull request #493 synchronize by nicole-graus
9s perf/registers-on-main
perf/registers-on-main
9s
Feat/merged bitwise bus Spec tests #95: Pull request #481 synchronize by jotabulacios
11s feat/merged-bitwise-bus
feat/merged-bitwise-bus
11s
Cache LDE from Round 1 to skip recomputation in Rounds 2-4 Spec tests #94: Pull request #492 synchronize by gabrielbosio
12s feat/cache-lde-round1
feat/cache-lde-round1
12s
Perf/registers on main Spec tests #93: Pull request #493 synchronize by nicole-graus
10s perf/registers-on-main
perf/registers-on-main
10s
Feat/merged bitwise bus Spec tests #92: Pull request #481 synchronize by jotabulacios
11s feat/merged-bitwise-bus
feat/merged-bitwise-bus
11s
Merge branch 'main' into feat/merged-bitwise-bus Spec tests #91: Commit ac80286 pushed by jotabulacios
9s feat/merged-bitwise-bus
feat/merged-bitwise-bus
9s
Bench vs other vms Spec tests #90: Pull request #365 synchronize by jotabulacios
10s bench_vs
bench_vs
10s
Add per-phase heap profiler Spec tests #89: Pull request #475 synchronize by gabrielbosio
8s feat/heap-profiling
feat/heap-profiling
8s
Add per-phase heap profiler Spec tests #88: Pull request #475 synchronize by gabrielbosio
12s feat/heap-profiling
feat/heap-profiling
12s
Add per-phase timing profiler Spec tests #87: Pull request #495 synchronize by gabrielbosio
10s feat/bench-timing-profile
feat/bench-timing-profile
10s
Add per-phase heap profiler Spec tests #86: Pull request #475 synchronize by gabrielbosio
10s feat/heap-profiling
feat/heap-profiling
10s
Feat/higher arity fri Spec tests #85: Pull request #464 synchronize by diegokingston
14s feat/higher-arity-fri
feat/higher-arity-fri
14s
Merge branch 'main' into feat/higher-arity-fri Spec tests #84: Commit f37526c pushed by diegokingston
11s feat/higher-arity-fri
feat/higher-arity-fri
11s
Md spec Spec tests #83: Pull request #239 synchronize by ColoCarletti
14s md_spec
md_spec
14s
spec: KECCAK accelerator Spec tests #82: Pull request #474 synchronize by erik-3milabs
13s spec/keccak
spec/keccak
13s
Apply suggestions from code review Spec tests #81: Commit 09db346 pushed by erik-3milabs
12s spec/keccak
spec/keccak
12s
spec: KECCAK accelerator Spec tests #80: Pull request #474 synchronize by erik-3milabs
11s spec/keccak
spec/keccak
11s
spec: reuse type_to_code in signatures.typ Spec tests #79: Commit 3f11ace pushed by erik-3milabs
11s spec/keccak
spec/keccak
11s
Bench vs other vms Spec tests #78: Pull request #365 synchronize by jotabulacios
12s bench_vs
bench_vs
12s
Cache LDE from Round 1 to skip recomputation in Rounds 2-4 Spec tests #77: Pull request #492 synchronize by gabrielbosio
10s feat/cache-lde-round1
feat/cache-lde-round1
10s
Add per-phase timing profiler Spec tests #76: Pull request #495 synchronize by gabrielbosio
9s feat/bench-timing-profile
feat/bench-timing-profile
9s
Add per-phase timing profiler Spec tests #75: Pull request #495 synchronize by gabrielbosio
10s feat/bench-timing-profile
feat/bench-timing-profile
10s
Add per-phase timing profiler Spec tests #74: Pull request #495 synchronize by gabrielbosio
10s feat/bench-timing-profile
feat/bench-timing-profile
10s
Cache LDE from Round 1 to skip recomputation in Rounds 2-4 Spec tests #73: Pull request #492 synchronize by gabrielbosio
11s feat/cache-lde-round1
feat/cache-lde-round1
11s
ProTip! You can narrow down the results and go further in time using created:<2026-04-13 or the other filters available.