Skip to content

Actions: leanEthereum/leanVM

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,323 workflow runs
1,323 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
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
Goldilocks Rust #1333: Pull request #210 synchronize by TomWambsgans
5m 30s goldilocks
goldilocks
5m 30s
remove itertools, and clean-up dependencies Rust #1332: Commit 98f99a9 pushed by TomWambsgans
5m 59s main
main
5m 59s
zk-alloc: disable glibc heap trimming/mmap on Linux in enable_arena Rust #1331: Commit 10f75cd pushed by TomWambsgans
6m 1s main
main
6m 1s
Goldilocks Rust #1330: Pull request #210 synchronize by TomWambsgans
5m 32s goldilocks
goldilocks
5m 32s
whir-svo Rust #1329: Pull request #204 synchronize by TomWambsgans
5m 29s whir-split-eq
whir-split-eq
5m 29s
remove global_allocator in zk-alloc (#247) Rust #1328: Commit 95a34a2 pushed by TomWambsgans
6m 6s main
main
6m 6s
remove global_allocator in zk-alloc Rust #1327: Pull request #247 synchronize by TomWambsgans
6m 25s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
6m 25s
remove global_allocator in zk-alloc Rust #1326: Pull request #247 synchronize by TomWambsgans
2m 43s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
2m 43s
extension_op: return DivByZero/InvalidExtensionOp instead of panickin… Rust #1325: Commit 7b079e4 pushed by TomWambsgans
7m 10s main
main
7m 10s
remove global_allocator in zk-alloc Rust #1324: Pull request #247 synchronize by TomWambsgans
5m 56s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
5m 56s
remove global_allocator in zk-alloc Rust #1323: Pull request #247 synchronize by TomWambsgans
5m 37s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
5m 37s
remove global_allocator in zk-alloc Rust #1322: Pull request #247 synchronize by TomWambsgans
5m 49s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
5m 49s
remove global_allocator in zk-alloc Rust #1321: Pull request #247 synchronize by TomWambsgans
5m 49s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
5m 49s
remove global_allocator in zk-alloc Rust #1320: Pull request #247 synchronize by TomWambsgans
5m 41s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
5m 41s
remove global_allocator in zk-alloc Rust #1319: Pull request #247 synchronize by TomWambsgans
5m 45s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
5m 45s
remove global_allocator in zk-alloc Rust #1318: Pull request #247 synchronize by TomWambsgans
6m 0s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
6m 0s
remove global_allocator in zk-alloc Rust #1317: Pull request #247 synchronize by TomWambsgans
5m 45s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
5m 45s
remove global_allocator in zk-alloc Rust #1316: Pull request #247 synchronize by TomWambsgans
5m 55s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
5m 55s
remove global_allocator in zk-alloc Rust #1315: Pull request #247 synchronize by TomWambsgans
1m 1s custom-thread-pool-without-global-allocator
custom-thread-pool-without-global-allocator
1m 1s