Skip to content

Actions: yetanotherco/lambda_vm

Actions

Spec tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_spec.yaml
844 workflow runs
844 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
infra: rent server using scaleway Spec tests #844: Pull request #599 synchronize by JuArce
9s infra_rent_server
infra_rent_server
9s
Fix edge cases in MULW, DIVUW, REMUW and Misalign ELFs Spec tests #843: Pull request #620 synchronize by gabrielbosio
8s fix_w_edge_cases_and_misalign
fix_w_edge_cases_and_misalign
8s
refactor(math): dead-code & structural cleanup of the math crate Spec tests #842: Pull request #598 synchronize by diegokingston
10s cleanup/math-dead-code
cleanup/math-dead-code
10s
perf(stark): migrate end_exemptions_poly to evaluation form Spec tests #841: Pull request #621 opened by diegokingston
8s perf/end-exemptions-eval-form
perf/end-exemptions-eval-form
8s
Fix edge cases in MULW, DIVUW, REMUW and Misalign ELFs Spec tests #840: Pull request #620 synchronize by gabrielbosio
9s fix_w_edge_cases_and_misalign
fix_w_edge_cases_and_misalign
9s
Cleanup/prover src refactor Spec tests #839: Pull request #596 synchronize by diegokingston
8s cleanup/prover-src-refactor
cleanup/prover-src-refactor
8s
Fix edge cases in MULW, DIVUW, REMUW and Misalign ELFs Spec tests #838: Pull request #620 opened by gabrielbosio
7s fix_w_edge_cases_and_misalign
fix_w_edge_cases_and_misalign
7s
refactor(executor): move inline unit tests to src/tests/ module Spec tests #837: Pull request #619 synchronize by diegokingston
9s cleanup/executor-inline-tests
cleanup/executor-inline-tests
9s
refactor(executor): move inline unit tests to src/tests/ module Spec tests #836: Pull request #619 opened by diegokingston
9s cleanup/executor-inline-tests
cleanup/executor-inline-tests
9s
cleanup(stark/constraints): drop coefficient-form leftovers, dedupe eval Spec tests #835: Pull request #604 synchronize by diegokingston
11s cleanup/constraints
cleanup/constraints
11s
feat(cuda): Round 1 GPU LDE+commit dispatch + device-resident handles Spec tests #834: Pull request #582 synchronize by ColoCarletti
9s feat/cuda-pr2-r1-gpu-commits
feat/cuda-pr2-r1-gpu-commits
9s
refactor(math): dead-code & structural cleanup of the math crate Spec tests #833: Pull request #598 synchronize by diegokingston
10s cleanup/math-dead-code
cleanup/math-dead-code
10s
Cleanup/prover src refactor Spec tests #832: Pull request #596 synchronize by diegokingston
11s cleanup/prover-src-refactor
cleanup/prover-src-refactor
11s
perf(prover): batch-invert COMMIT bus fingerprints; doc/dedup fixes Spec tests #831: Pull request #607 synchronize by jotabulacios
8s cleanup/prover-lib
cleanup/prover-lib
8s
refactor(math): dead-code & structural cleanup of the math crate Spec tests #830: Pull request #598 synchronize by diegokingston
8s cleanup/math-dead-code
cleanup/math-dead-code
8s
Refactor/fiat shamir statement streamlined Spec tests #829: Pull request #617 opened by MauroToscano
11s refactor/fiat-shamir-statement-streamlined
refactor/fiat-shamir-statement-streamlined
11s
refactor(math): dead-code & structural cleanup of the math crate Spec tests #828: Pull request #598 synchronize by diegokingston
11s cleanup/math-dead-code
cleanup/math-dead-code
11s
refactor(math): dead-code & structural cleanup of the math crate Spec tests #827: Pull request #598 synchronize by diegokingston
9s cleanup/math-dead-code
cleanup/math-dead-code
9s
perf(prover): batch-invert COMMIT bus fingerprints; doc/dedup fixes Spec tests #826: Pull request #607 synchronize by diegokingston
10s cleanup/prover-lib
cleanup/prover-lib
10s
chore(loc): exclude fuzz and guest programs from LOC count Spec tests #825: Pull request #616 synchronize by diegokingston
10s refactor/loc-exclude-fuzz-programs
refactor/loc-exclude-fuzz-programs
10s
chore(loc): exclude fuzz and guest programs from LOC count Spec tests #824: Pull request #616 synchronize by diegokingston
7s refactor/loc-exclude-fuzz-programs
refactor/loc-exclude-fuzz-programs
7s
feat(cuda): Round 1 GPU LDE+commit dispatch + device-resident handles Spec tests #823: Pull request #582 synchronize by ColoCarletti
7s feat/cuda-pr2-r1-gpu-commits
feat/cuda-pr2-r1-gpu-commits
7s
chore(loc): exclude fuzz and guest programs from LOC count Spec tests #822: Pull request #616 opened by diegokingston
8s refactor/loc-exclude-fuzz-programs
refactor/loc-exclude-fuzz-programs
8s
feat(cuda): Round 1 GPU LDE+commit dispatch + device-resident handles Spec tests #821: Pull request #582 synchronize by ColoCarletti
12s feat/cuda-pr2-r1-gpu-commits
feat/cuda-pr2-r1-gpu-commits
12s
Update spec Spec tests #820: Pull request #613 synchronize by ColoCarletti
8s spec/main
spec/main
8s