Skip to content

Actions: leanEthereum/leanVM

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,344 workflow runs
1,344 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
fix poseidon trace gen (UB) Rust #1362: Commit e53836a pushed by TomWambsgans
6m 6s main
main
6m 6s
reduce proof size by 5% (optimal Merkle pruning) Rust #1361: Commit d63f100 pushed by TomWambsgans
6m 5s main
main
6m 5s
reduce proof size by 5% (optimal Merkle pruning) Spec PDF #8: Commit d63f100 pushed by TomWambsgans
1m 34s main
main
1m 34s
Univariate skip for the batched AIR sumcheck (+ finite-difference kernel) Rust #1360: Pull request #251 synchronize by Barnadrot
7m 9s Barnadrot:pw13-clean
Barnadrot:pw13-clean
7m 9s
Univariate skip for the batched AIR sumcheck (+ finite-difference kernel) Rust #1359: Pull request #251 opened by Barnadrot
2m 10s Barnadrot:pw13-clean
Barnadrot:pw13-clean
2m 10s
lean_vm: add source-level failure stack traces Rust #1358: Pull request #246 synchronize by latifkasuli
10m 31s latifkasuli:fix/stack-traces
latifkasuli:fix/stack-traces
10m 31s
Goldilocks Rust #1357: Pull request #210 synchronize by TomWambsgans
5m 25s goldilocks
goldilocks
5m 25s
whir-svo Rust #1356: Pull request #204 synchronize by TomWambsgans
5m 50s whir-split-eq
whir-split-eq
5m 50s
lean_vm: make Bytecode fields private and derive trusted data (multil… Rust #1355: Commit ec1f090 pushed by TomWambsgans
5m 57s main
main
5m 57s
doc: add a security warning in xmss_sign Rust #1354: Commit fc5faa7 pushed by TomWambsgans
5m 51s main
main
5m 51s
lean_vm: add source-level failure stack traces Rust #1353: Pull request #246 synchronize by latifkasuli
5m 39s latifkasuli:fix/stack-traces
latifkasuli:fix/stack-traces
5m 39s
lean_compiler: avoid duplicate compile-and-run output Rust #1352: Commit 0ab61da pushed by TomWambsgans
7m 8s main
main
7m 8s
perf: inline compress_mut Rust #1351: Commit 133ce0c pushed by TomWambsgans
6m 11s main
main
6m 11s
air: replace unsafe byte arena with leaked typed node refs Rust #1350: Commit 2e68f80 pushed by TomWambsgans
6m 42s main
main
6m 42s
minor modifications in README.md Rust #1349: Commit 191e1a5 pushed by TomWambsgans
5m 49s main
main
5m 49s
Goldilocks Rust #1348: Pull request #210 synchronize by TomWambsgans
5m 5s goldilocks
goldilocks
5m 5s
whir-svo Rust #1347: Pull request #204 synchronize by TomWambsgans
5m 22s whir-split-eq
whir-split-eq
5m 22s
Goldilocks Rust #1346: Pull request #210 synchronize by TomWambsgans
5m 16s goldilocks
goldilocks
5m 16s
whir-svo Rust #1345: Pull request #204 synchronize by TomWambsgans
5m 32s whir-split-eq
whir-split-eq
5m 32s
Clean recursion (#249) Rust #1344: Commit 89e624f pushed by TomWambsgans
5m 53s main
main
5m 53s
Clean recursion Rust #1343: Pull request #249 synchronize by TomWambsgans
6m 0s clean_recursion
clean_recursion
6m 0s
Clean recursion Rust #1342: Pull request #249 synchronize by TomWambsgans
1m 31s clean_recursion
clean_recursion
1m 31s
Clean recursion Rust #1341: Pull request #249 synchronize by TomWambsgans
6m 2s clean_recursion
clean_recursion
6m 2s
Clean recursion Rust #1340: Pull request #249 opened by TomWambsgans
6m 10s clean_recursion
clean_recursion
6m 10s
system-info: detect thread/L1 sizes at runtime, drop build.rs Rust #1339: Commit f711c5c pushed by TomWambsgans
5m 50s main
main
5m 50s