Skip to content

Actions: leanEthereum/leanVM

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
1,220 workflow runs
1,220 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
fix(zkdsl compiler): reject an undefined array base cleanly instead o… Rust #1242: Commit 1ff1da4 pushed by TomWambsgans
7m 20s main
main
7m 20s
Clean python verifier Rust #1241: Pull request #242 synchronize by TomWambsgans
7m 33s clean_python_verifier
clean_python_verifier
7m 33s
Clean python verifier Rust #1240: Pull request #242 opened by TomWambsgans
7m 14s clean_python_verifier
clean_python_verifier
7m 14s
zkdsl compiler: remove the possibility for a range loop to mutate v… Rust #1239: Commit d72f180 pushed by TomWambsgans
7m 14s main
main
7m 14s
zkdsl compiler: remove the possibility for a range loop to mutate v… Rust #1238: Commit 07b3a3b pushed by TomWambsgans
7m 0s main
main
7m 0s
zkdsl compiler: remove the possibility for a range loop to mutate variables defined in external scope. Use manual buffers instead. Rust #1237: Pull request #241 synchronize by TomWambsgans
6m 47s zkdsl-remove-loop-external-mutability
zkdsl-remove-loop-external-mutability
6m 47s
zkdsl compiler: remove the possibility for a range loop to mutate variables defined in external scope. Use manual buffers instead. Rust #1236: Pull request #241 opened by TomWambsgans
7m 0s zkdsl-remove-loop-external-mutability
zkdsl-remove-loop-external-mutability
7m 0s
fix(compiler): match_range no longer shadows an outer-scope target Rust #1235: Commit bdbce00 pushed by TomWambsgans
7m 24s main
main
7m 24s
doc: align memory bus tuple order to (address, value) in tex, matchin… Rust #1234: Commit 88c4752 pushed by TomWambsgans
7m 47s main
main
7m 47s
zkDSL compiler: various consolidations Rust #1233: Commit bccee26 pushed by TomWambsgans
7m 50s main
main
7m 50s
Custom thread pool Rust #1232: Pull request #239 synchronize by TomWambsgans
6m 39s custom-thread-pool
custom-thread-pool
6m 39s
perf: [inline(always)] in AirBuilder Rust #1231: Commit f4913ac pushed by TomWambsgans
7m 20s main
main
7m 20s
Custom thread pool Rust #1230: Pull request #239 synchronize by TomWambsgans
6m 42s custom-thread-pool
custom-thread-pool
6m 42s
Optimize compression input copy (#240) Rust #1229: Commit d559dc2 pushed by TomWambsgans
7m 42s main
main
7m 42s
Optimize compression input copy Rust #1228: Pull request #240 opened by malik672
7m 37s malik672:optir
malik672:optir
7m 37s
Custom thread pool Rust #1227: Pull request #239 synchronize by TomWambsgans
6m 56s custom-thread-pool
custom-thread-pool
6m 56s
Custom thread pool Rust #1226: Pull request #239 synchronize by TomWambsgans
6m 31s custom-thread-pool
custom-thread-pool
6m 31s
remove 'Matrix' trait (saves 140 LoC) Rust #1225: Commit d90d55e pushed by TomWambsgans
7m 25s main
main
7m 25s
Custom thread pool Rust #1224: Pull request #239 synchronize by TomWambsgans
6m 37s custom-thread-pool
custom-thread-pool
6m 37s
perf: remove some allocation in vertically_packed_row_rtl Rust #1223: Commit 6f8d28f pushed by TomWambsgans
7m 47s main
main
7m 47s
Custom thread pool Rust #1222: Pull request #239 synchronize by TomWambsgans
6m 21s custom-thread-pool
custom-thread-pool
6m 21s
perf: faster pair_coeffs in sumcheck_utils.rs (and remove dead code… Rust #1221: Commit 9976e05 pushed by TomWambsgans
7m 32s main
main
7m 32s
Custom thread pool Rust #1220: Pull request #239 synchronize by TomWambsgans
6m 30s custom-thread-pool
custom-thread-pool
6m 30s
Custom thread pool Rust #1219: Pull request #239 synchronize by TomWambsgans
6m 41s custom-thread-pool
custom-thread-pool
6m 41s
Custom thread pool Rust #1218: Pull request #239 synchronize by TomWambsgans
6m 32s custom-thread-pool
custom-thread-pool
6m 32s