Skip to content

Actions: yetanotherco/lambda_vm

Actions

Spec tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_spec.yaml
2,320 workflow runs
2,320 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
test(batched): pin that the preprocessed round can never be taller th… Spec tests #2320: Commit 46798a5 pushed by MauroToscano
9s mmcs-integration
mmcs-integration
9s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2319: Pull request #930 synchronize by MauroToscano
10s blake3-real-hash
blake3-real-hash
10s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2318: Pull request #930 synchronize by MauroToscano
8s blake3-real-hash
blake3-real-hash
8s
Merge branch 'pa-blake3-cuda' into blake3-real-hash Spec tests #2317: Commit bb30f1c pushed by MauroToscano
7s blake3-real-hash
blake3-real-hash
7s
fix(lfm): re-measure the continuation fixture's epoch size Spec tests #2316: Commit c150dbc pushed by MauroToscano
7s pa-stage4-guest
pa-stage4-guest
7s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2315: Pull request #930 synchronize by MauroToscano
11s blake3-real-hash
blake3-real-hash
11s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2314: Pull request #930 synchronize by MauroToscano
12s blake3-real-hash
blake3-real-hash
12s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2313: Pull request #930 synchronize by MauroToscano
11s blake3-real-hash
blake3-real-hash
11s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2312: Pull request #930 synchronize by MauroToscano
9s blake3-real-hash
blake3-real-hash
9s
spec/recursion: put text and figure side-by-side Spec tests #2311: Commit 89e5cac pushed by erik-3milabs
10s spec/recursion
spec/recursion
10s
spec: recursive verification explanation, pt1 Spec tests #2310: Commit 187edc3 pushed by erik-3milabs
11s spec/recursion
spec/recursion
11s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2309: Pull request #930 synchronize by MauroToscano
11s blake3-real-hash
blake3-real-hash
11s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2308: Pull request #930 synchronize by MauroToscano
11s blake3-real-hash
blake3-real-hash
11s
perf: make bump the default guest allocator Spec tests #2307: Pull request #869 synchronize by MauroToscano
11s perf/dlmalloc-guest-allocator
perf/dlmalloc-guest-allocator
11s
perf: make bump the default guest allocator Spec tests #2306: Pull request #869 synchronize by diegokingston
8s perf/dlmalloc-guest-allocator
perf/dlmalloc-guest-allocator
8s
fix: use CPU-aware prover scheduler Spec tests #2305: Pull request #897 synchronize by diegokingston
8s fix/cpu-prover-scheduler
fix/cpu-prover-scheduler
8s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2304: Pull request #930 synchronize by MauroToscano
12s blake3-real-hash
blake3-real-hash
12s
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline Spec tests #2303: Pull request #923 synchronize by MauroToscano
9s docs-keccak-formal-verification-baseline
docs-keccak-formal-verification-baseline
9s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2302: Pull request #930 synchronize by MauroToscano
11s blake3-real-hash
blake3-real-hash
11s
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline Spec tests #2301: Pull request #923 synchronize by MauroToscano
8s docs-keccak-formal-verification-baseline
docs-keccak-formal-verification-baseline
8s
docs(formal-verification): keccak z3/QF-BV gate — the verification baseline Spec tests #2300: Pull request #923 synchronize by MauroToscano
8s docs-keccak-formal-verification-baseline
docs-keccak-formal-verification-baseline
8s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2299: Pull request #930 synchronize by MauroToscano
10s blake3-real-hash
blake3-real-hash
10s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2298: Pull request #930 synchronize by MauroToscano
12s blake3-real-hash
blake3-real-hash
12s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2297: Pull request #930 synchronize by MauroToscano
12s blake3-real-hash
blake3-real-hash
12s
BLAKE3 as the LFM machine's real hash — F3.4 retired (draft) Spec tests #2296: Pull request #930 synchronize by MauroToscano
10s blake3-real-hash
blake3-real-hash
10s