Skip to content

Actions: leanEthereum/leanVM

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,339 workflow runs
1,339 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
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
system-info: allow overriding build-time thread count via LEANVM_NUM_… Rust #1338: Commit c9f533f pushed by TomWambsgans
5m 49s main
main
5m 49s
whir-svo Rust #1337: Pull request #204 synchronize by TomWambsgans
6m 12s whir-split-eq
whir-split-eq
6m 12s
Goldilocks Rust #1336: Pull request #210 synchronize by TomWambsgans
21m 53s goldilocks
goldilocks
21m 53s
remove proof compression / decompression (lz4_flex) Rust #1335: Commit be906b4 pushed by TomWambsgans
6m 23s main
main
6m 23s
remove sha3 dependency, and rename some crates Rust #1334: Commit dccdc41 pushed by TomWambsgans
6m 28s main
main
6m 28s