Skip to content

Actions: leanEthereum/leanVM

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
1,241 workflow runs
1,241 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
Clean python verifier (#242) Rust #1263: Commit 1718dfe pushed by TomWambsgans
7m 40s main
main
7m 40s
Clean python verifier Rust #1262: Pull request #242 synchronize by TomWambsgans
7m 28s clean_python_verifier
clean_python_verifier
7m 28s
lean_vm: add source-level failure stack traces Rust #1261: Pull request #246 opened by latifkasuli
Action required latifkasuli:fix/stack-traces
latifkasuli:fix/stack-traces
Action required
lean_compiler: avoid duplicate compile-and-run output Rust #1260: Pull request #245 opened by latifkasuli
Action required latifkasuli:fix/quiet-try-compile-and-run
latifkasuli:fix/quiet-try-compile-and-run
Action required
Custom thread pool Rust #1259: Pull request #239 synchronize by TomWambsgans
6m 50s custom-thread-pool
custom-thread-pool
6m 50s
air: make symbolic arena handles safe and generation-checked Rust #1258: Pull request #179 synchronize by latifkasuli
Action required latifkasuli:fix/safe-symbolic-arena-handles
latifkasuli:fix/safe-symbolic-arena-handles
Action required
Custom thread pool Rust #1257: Pull request #239 synchronize by TomWambsgans
7m 5s custom-thread-pool
custom-thread-pool
7m 5s
Custom thread pool Rust #1256: Pull request #239 synchronize by TomWambsgans
6m 21s custom-thread-pool
custom-thread-pool
6m 21s
Custom thread pool Rust #1255: Pull request #239 synchronize by TomWambsgans
2m 17s custom-thread-pool
custom-thread-pool
2m 17s
Custom thread pool Rust #1254: Pull request #239 synchronize by TomWambsgans
6m 53s custom-thread-pool
custom-thread-pool
6m 53s
Custom thread pool Rust #1253: Pull request #239 synchronize by TomWambsgans
7m 8s custom-thread-pool
custom-thread-pool
7m 8s
Custom thread pool Rust #1252: Pull request #239 synchronize by TomWambsgans
6m 56s custom-thread-pool
custom-thread-pool
6m 56s
Custom thread pool Rust #1251: Pull request #239 synchronize by TomWambsgans
6m 54s custom-thread-pool
custom-thread-pool
6m 54s
Custom thread pool Rust #1250: Pull request #239 synchronize by TomWambsgans
7m 13s custom-thread-pool
custom-thread-pool
7m 13s
Custom thread pool Rust #1249: Pull request #239 synchronize by TomWambsgans
7m 16s custom-thread-pool
custom-thread-pool
7m 16s
Custom thread pool Rust #1248: Pull request #239 synchronize by TomWambsgans
7m 37s custom-thread-pool
custom-thread-pool
7m 37s
Fix compiler stack overflow Rust #1247: Pull request #244 synchronize by malik672
7m 27s malik672:overflow
malik672:overflow
7m 27s
Clean python verifier Rust #1246: Pull request #242 synchronize by TomWambsgans
7m 13s clean_python_verifier
clean_python_verifier
7m 13s
Custom thread pool Rust #1245: Pull request #239 synchronize by TomWambsgans
6m 34s custom-thread-pool
custom-thread-pool
6m 34s
Clean python verifier Rust #1244: Pull request #242 synchronize by TomWambsgans
7m 36s clean_python_verifier
clean_python_verifier
7m 36s
perf(zkdsl compiler): faster post-optimization pass (remove a O(n^2) … Rust #1243: Commit a2efa4f pushed by TomWambsgans
7m 48s main
main
7m 48s
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