Skip to content

Actions: leanEthereum/leanMultisig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,129 workflow runs
1,129 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
document that division by zero leads to undefined behaviour in zkDSL.md Rust #1151: Commit db21d7b pushed by TomWambsgans
7m 38s main
main
7m 38s
make it clear that bytecode is trusted to be well-formed in `verify… Rust #1150: Commit f9c6bb2 pushed by TomWambsgans
3m 2s main
main
3m 2s
xmss: version benchmark signers cache file to reject stale CI restore… Rust #1149: Commit de69213 pushed by TomWambsgans
6m 15s main
main
6m 15s
xmss: return InvalidRandomness instead of panicking on bad caller-sup… Rust #1148: Commit 36214cc pushed by TomWambsgans
6m 23s main
main
6m 23s
xmss: make XmssSignature.merkle_proof a fixed-length array to bound d… Rust #1147: Commit a3ba5c6 pushed by TomWambsgans
6m 56s main
main
6m 56s
lean_compiler: error on in-function compile-time zero divisors Rust #1146: Commit 4e4915d pushed by TomWambsgans
7m 37s main
main
7m 37s
leanVM verifier: restore pruned merkle batches lazily (DOS protection) Rust #1145: Commit 61762f7 pushed by TomWambsgans
3m 22s main
main
3m 22s
xmss: only check encoding limbs used for chain steps, to match aggreg… Rust #1144: Commit ff87579 pushed by TomWambsgans
7m 27s main
main
7m 27s
improve zk-DSL docs + small syntax changes (#237) Rust #1143: Commit 1706685 pushed by TomWambsgans
7m 15s main
main
7m 15s
improve zk-DSL docs + small syntax changes Rust #1142: Pull request #237 opened by TomWambsgans
7m 22s zkdsl-docs
zkdsl-docs
7m 22s
lean_compiler: reject zero-size extension precompile call Rust #1141: Commit 66ecf9c pushed by TomWambsgans
7m 15s main
main
7m 15s
rec_aggregation: factor type-1 pubkey well-formedness into one helper… Rust #1140: Commit 5d126df pushed by TomWambsgans
5m 41s main
main
5m 41s
lean_compiler: reject duplicate parameter names in function signatures Rust #1139: Commit 75122d9 pushed by TomWambsgans
7m 20s main
main
7m 20s
lean_compiler: return error on constant zero-divisor instead of panic… Rust #1138: Commit 1d9dd39 pushed by TomWambsgans
7m 32s main
main
7m 32s
lean_compiler: reject multidim indexing on runtime arrays Rust #1137: Commit b6b9026 pushed by TomWambsgans
7m 0s main
main
7m 0s
lean_compiler: reject lambda binders that shadow enclosing names Rust #1136: Commit 4c6e8a1 pushed by TomWambsgans
7m 3s main
main
7m 3s
lean_compiler: reject lambda binders that shadow enclosing names Rust #1135: Commit 6535169 pushed by TomWambsgans
7m 54s main
main
7m 54s
lean_compiler: reject duplicate function names across imports Rust #1134: Commit 77690e6 pushed by TomWambsgans
5m 28s main
main
5m 28s
lean_compiler: reject empty match blocks Rust #1133: Commit 0859f50 pushed by TomWambsgans
6m 27s main
main
6m 27s
lean_compiler: return errors instead of panicking on const-argument m… Rust #1132: Commit 0c8440c pushed by TomWambsgans
4m 30s main
main
4m 30s
lean_compiler: reject function parameters that shadow top-level const… Rust #1131: Commit 90a03e6 pushed by TomWambsgans
5m 14s main
main
5m 14s
lean_compiler: reject function parameters that shadow top-level const… Rust #1130: Commit 892b5c9 pushed by TomWambsgans
1m 0s main
main
1m 0s
rec_aggregation: return error instead of panicking on invalid child p… Rust #1129: Commit 610b8c9 pushed by TomWambsgans
7m 5s main
main
7m 5s
fix assert_trailing_bits_are_zeros in fiat_shamir.py Rust #1128: Commit 5f4aad2 pushed by TomWambsgans
7m 37s main
main
7m 37s
Goldilocks Rust #1127: Pull request #210 synchronize by TomWambsgans
6m 59s goldilocks
goldilocks
6m 59s