Skip to content

Actions: leanEthereum/leanMultisig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,087 workflow runs
1,087 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 P-core L1d size on Apple Silicon (was reading the… Rust #1109: Commit 0a6f229 pushed by TomWambsgans
6m 53s main
main
6m 53s
attempt to replicate parts of #PR234 Rust #1108: Pull request #235 opened by TomWambsgans
7m 32s parts_of_234
parts_of_234
7m 32s
Goldilocks Rust #1107: Pull request #210 synchronize by TomWambsgans
6m 47s goldilocks
goldilocks
6m 47s
leanVM: hadcode public_input_size= 8 Rust #1106: Commit 130415a pushed by TomWambsgans
7m 0s main
main
7m 0s
perf: Sumcheck, GKR & WHIR proving optimizations Rust #1105: Pull request #234 synchronize by Barnadrot
7m 41s Barnadrot:non-blake3-dependent-optimizations
Barnadrot:non-blake3-dependent-optimizations
7m 41s
perf: Sumcheck, GKR & WHIR proving optimizations Rust #1104: Pull request #234 opened by Barnadrot
4m 9s Barnadrot:non-blake3-dependent-optimizations
Barnadrot:non-blake3-dependent-optimizations
4m 9s
zkDSL: remove DynArray (removes almost 1K LoC in the compiler. no p… Rust #1103: Commit 2c70162 pushed by TomWambsgans
7m 26s main
main
7m 26s
zkDSL: remove DynArray (removes almost 1K LoC in the compiler. no perf downgrade) Rust #1102: Pull request #233 synchronize by TomWambsgans
7m 33s remove_dyn_array
remove_dyn_array
7m 33s
zkDSL: remove DynArray (removes almost 1K LoC in the compiler. no perf downgrade) Rust #1101: Pull request #233 opened by TomWambsgans
3m 48s remove_dyn_array
remove_dyn_array
3m 48s
Better doc (#232) Rust #1100: Commit 9b2f632 pushed by TomWambsgans
7m 23s main
main
7m 23s
Better doc (#232) Rust #1099: Commit eacd019 pushed by TomWambsgans
7m 19s main
main
7m 19s
Better doc Rust #1098: Pull request #232 opened by TomWambsgans
7m 22s better_doc
better_doc
7m 22s
Merge pull request #230 from leanEthereum/remove_dynamic_unroll Rust #1097: Commit 7d46870 pushed by TomWambsgans
57s main
main
57s
Merge pull request #231 from leanEthereum/better_doc Rust #1096: Commit 9a26c96 pushed by TomWambsgans
2m 11s main
main
2m 11s
Better doc Rust #1095: Pull request #231 synchronize by TomWambsgans
7m 58s better_doc
better_doc
7m 58s
Better doc Rust #1094: Pull request #231 synchronize by TomWambsgans
3m 5s better_doc
better_doc
3m 5s
Better doc Rust #1093: Pull request #231 opened by TomWambsgans
1m 20s better_doc
better_doc
1m 20s
Merge pull request #230 from leanEthereum/remove_dynamic_unroll Rust #1092: Commit 7d46870 pushed by TomWambsgans
6m 58s main
main
6m 58s
Remove dynamic unroll (to simplify the zkDSL compiler, at the cost of a few percent more cycles (but saves some memory)) Rust #1091: Pull request #230 opened by TomWambsgans
7m 0s remove_dynamic_unroll
remove_dynamic_unroll
7m 0s
display unpadded length of leanVM program Rust #1090: Commit a8f4750 pushed by TomWambsgans
7m 5s main
main
7m 5s
recursive aggregation program: small simplification when dispatching … Rust #1089: Commit 028228b pushed by TomWambsgans
7m 12s main
main
7m 12s
whir-svo Rust #1088: Pull request #204 synchronize by TomWambsgans
7m 6s whir-split-eq
whir-split-eq
7m 6s
Goldilocks Rust #1087: Pull request #210 synchronize by TomWambsgans
7m 5s goldilocks
goldilocks
7m 5s
Merge pull request #229 from leanEthereum/hashing_with_domain_sep Rust #1086: Commit 7240c1c pushed by TomWambsgans
7m 32s main
main
7m 32s
more robust slice hashing (always use IV containing length) Rust #1085: Pull request #229 synchronize by TomWambsgans
8m 8s hashing_with_domain_sep
hashing_with_domain_sep
8m 8s