Skip to content

Actions: leanEthereum/leanMultisig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
529 workflow runs
529 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

benchmark fibonnaci proof Rust #444: Commit 9a9fc62 pushed by TomWambsgans
6m 38s main
main
6m 38s
add TODO Rust #443: Commit 31e7ad3 pushed by TomWambsgans
6m 48s main
main
6m 48s
Issue/86: Add line numbers to labels (#87) Rust #442: Commit 1d77ff3 pushed by TomWambsgans
6m 17s main
main
6m 17s
Issue/86: Add line numbers to labels Rust #441: Pull request #87 synchronize by morganthomas
6m 29s lita-xyz:morgan/86
lita-xyz:morgan/86
6m 29s
Issue/86: Add line numbers to labels Rust #440: Pull request #87 opened by morganthomas
1m 51s lita-xyz:morgan/86
lita-xyz:morgan/86
1m 51s
Range checks Rust #438: Pull request #71 synchronize by TomWambsgans
6m 52s weijiekoh:feature/range_check
weijiekoh:feature/range_check
6m 52s
issue/83: function-level memory profiling (#85) Rust #437: Commit 8b07e2b pushed by TomWambsgans
6m 43s main
main
6m 43s
Issue/83: Memory profiling Rust #436: Pull request #85 synchronize by morganthomas
6m 25s lita-xyz:morgan/83
lita-xyz:morgan/83
6m 25s
Issue/83: Memory profiling Rust #435: Pull request #85 synchronize by morganthomas
1m 58s lita-xyz:morgan/83
lita-xyz:morgan/83
1m 58s
Issue/83: Memory profiling Rust #434: Pull request #85 synchronize by morganthomas
34s lita-xyz:morgan/83
lita-xyz:morgan/83
34s
Issue/83: Memory profiling Rust #433: Pull request #85 synchronize by morganthomas
6m 24s lita-xyz:morgan/83
lita-xyz:morgan/83
6m 24s
Issue/83: Memory profiling Rust #432: Pull request #85 synchronize by morganthomas
3m 29s lita-xyz:morgan/83
lita-xyz:morgan/83
3m 29s
Issue/83: Memory profiling Rust #431: Pull request #85 synchronize by morganthomas
44s lita-xyz:morgan/83
lita-xyz:morgan/83
44s
Issue/83: Memory profiling Rust #430: Pull request #85 synchronize by morganthomas
43s lita-xyz:morgan/83
lita-xyz:morgan/83
43s
Issue/83: Memory profiling Rust #429: Pull request #85 synchronize by morganthomas
39s lita-xyz:morgan/83
lita-xyz:morgan/83
39s
Issue/83: Memory profiling Rust #428: Pull request #85 synchronize by morganthomas
43s lita-xyz:morgan/83
lita-xyz:morgan/83
43s
some explainations about memory layout Rust #427: Commit e325e39 pushed by TomWambsgans
6m 33s main
main
6m 33s
fix inneficiency: execution trace was committed by power of 2 (i.e. … Rust #423: Commit f7e8110 pushed by TomWambsgans
6m 47s main
main
6m 47s
fix inneficiency: execution trace was committed by power of 2 (i.e. … Rust #422: Commit 35f581e pushed by TomWambsgans
5m 4s main
main
5m 4s
Optimize grand product eq Rust #421: Pull request #82 synchronize by adust09
6m 31s adust09:feat/-optimize-grand-product-eq
adust09:feat/-optimize-grand-product-eq
6m 31s
Issue/83: Memory profiling Rust #420: Pull request #85 synchronize by morganthomas
6m 32s lita-xyz:morgan/83
lita-xyz:morgan/83
6m 32s
Issue/83: Memory profiling Rust #419: Pull request #85 opened by morganthomas
2m 33s lita-xyz:morgan/83
lita-xyz:morgan/83
2m 33s
minor opti Rust #418: Commit c8b2916 pushed by TomWambsgans
6m 11s main
main
6m 11s
fix edge case: make proofs work even for very small programs Rust #417: Commit f8a8069 pushed by TomWambsgans
6m 7s main
main
6m 7s
fix edge case: make the proof work even if there is no dot_product (p… Rust #416: Commit 1fb6678 pushed by TomWambsgans
6m 41s main
main
6m 41s