Skip to content

Actions: yetanotherco/lambda_vm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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: Draft FMA extension field accelerator Spec tests #1996: Pull request #809 synchronize by RobinJadoul
13s spec/fext
spec/fext
13s
Switch to using REG templates + make CI pass Spec tests #1995: Commit 36f9f2c pushed by RobinJadoul
10s spec/fext
spec/fext
10s
spec: Draft FMA extension field accelerator Spec tests #1994: Pull request #809 synchronize by RobinJadoul
10s spec/fext
spec/fext
10s
clarifications Spec tests #1993: Commit ff47656 pushed by RobinJadoul
8s spec/fext
spec/fext
8s
spec: REG(W) templates (#854) Spec tests #1992: Commit f8e85a4 pushed by erik-3milabs
9s spec/main
spec/main
9s
spec: REG(W) templates Spec tests #1991: Pull request #854 synchronize by erik-3milabs
12s spec/REG
spec/REG
12s
spec/REG: revert using templates for MEMW_R Spec tests #1990: Commit b28340d pushed by erik-3milabs
11s spec/REG
spec/REG
11s
ACT4 Nightly ACT4 Nightly #60: completed by github-merge-queue Bot
3m 54s
3m 54s
Bench Vs Nightly Bench Vs Nightly #106: Scheduled
7m 2s main
main
7m 2s
Daily Lines of Code Report Daily Lines of Code Report #174: Scheduled
1m 36s main
main
1m 36s
perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified) Integration Tests #4687: Pull request #860 synchronize by MauroToscano
11m 57s feat/keccak-hwsl-inline
feat/keccak-hwsl-inline
11m 57s
perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified) GPU Tests (merge queue) #361: Pull request #860 synchronize by MauroToscano
9s feat/keccak-hwsl-inline
feat/keccak-hwsl-inline
9s
perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified) Spec tests #1989: Pull request #860 synchronize by MauroToscano
8s feat/keccak-hwsl-inline
feat/keccak-hwsl-inline
8s
spec(keccak): render the HWSL-inline variant chip in the keccak chapter Spec tests #1988: Commit afe78a0 pushed by MauroToscano
9s feat/keccak-hwsl-inline
feat/keccak-hwsl-inline
9s
perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified) Spec tests #1987: Pull request #860 opened by MauroToscano
8s feat/keccak-hwsl-inline
feat/keccak-hwsl-inline
8s
perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified) GPU Tests (merge queue) #360: Pull request #860 opened by MauroToscano
2s feat/keccak-hwsl-inline
feat/keccak-hwsl-inline
2s
perf(keccak): inline HWSL shifts as linear identities (−6.8% pure-keccak prover time, z3-verified) Integration Tests #4686: Pull request #860 opened by MauroToscano
13m 55s feat/keccak-hwsl-inline
feat/keccak-hwsl-inline
13m 55s
spec(keccak): HWSL-inline variant spec + z3 verification and bench ev… Spec tests #1986: Commit f6fa7f1 pushed by MauroToscano
11s feat/keccak-hwsl-inline
feat/keccak-hwsl-inline
11s
perf: build PAGE trace from dense memory store AI Review #393: Issue comment #858 (comment) created by ColoCarletti
2s
2s
perf: build PAGE trace from dense memory store Bench verifier #179: Issue comment #858 (comment) created by ColoCarletti
2s
2s
perf: build PAGE trace from dense memory store Benchmark (PR) #1517: Issue comment #858 (comment) created by ColoCarletti
3m 30s
3m 30s
perf: build PAGE trace from dense memory store Profile Recursion (PR) #162: Issue comment #858 (comment) created by ColoCarletti
2s
2s
perf: build PAGE trace from dense memory store Benchmark GPU (PR) #255: Issue comment #858 (comment) created by ColoCarletti
2s
2s
perf: build PAGE trace from dense memory store Bench ABBA tiebreaker #270: Issue comment #858 (comment) created by ColoCarletti
2s
2s
perf:avoid wasteful to_affine inversions in ecrecover AI Review #392: Issue comment #859 (comment) created by jotabulacios
2s
2s
ProTip! You can narrow down the results and go further in time using created:<2026-07-23 or the other filters available.