Skip to content

Actions: leanEthereum/leanMultisig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,043 workflow runs
1,043 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
merge bytecode / memory / precompile lookups into a shared `BusIntera… Rust #1065: Commit ab1ca82 pushed by TomWambsgans
7m 12s main
main
7m 12s
merge bytecode / memory / precompile lookups into a shared BusInteraction Rust #1064: Pull request #228 synchronize by TomWambsgans
7m 1s global-bus
global-bus
7m 1s
merge bytecode / memory / precompile lookups into a shared BusInteraction Rust #1063: Pull request #228 opened by TomWambsgans
7m 27s global-bus
global-bus
7m 27s
fix(zk-alloc): realloc UB fix + flat-phase assert + aarch64 MAP_NORESERVE Rust #1062: Pull request #227 synchronize by Barnadrot
6m 32s Barnadrot:zkalloc-hunt2-assert
Barnadrot:zkalloc-hunt2-assert
6m 32s
fix(zk-alloc): realloc UB fix + flat-phase assert + aarch64 MAP_NORESERVE Rust #1061: Pull request #227 opened by Barnadrot
2m 3s Barnadrot:zkalloc-hunt2-assert
Barnadrot:zkalloc-hunt2-assert
2m 3s
logup bus: cleaner encoding ([data0, data1, ...., dataN, 0, 0, 0, ...… Rust #1060: Commit 057b443 pushed by TomWambsgans
7m 2s main
main
7m 2s
logup bus: cleaner encoding ([data0, data1, ...., dataN, 0, 0, 0, ...… Rust #1059: Commit 6c7aff0 pushed by TomWambsgans
7m 11s main
main
7m 11s
add a test to validate logup soundness bits >= SECURITY_LEVEL Rust #1058: Commit 13408cc pushed by TomWambsgans
5m 42s main
main
5m 42s
add a test to validate logup soundness bits >= SECURITY_LEVEL Rust #1057: Commit 0295672 pushed by TomWambsgans
3m 46s main
main
3m 46s
Goldilocks Rust #1056: Pull request #210 synchronize by TomWambsgans
6m 35s goldilocks
goldilocks
6m 35s
Goldilocks Rust #1055: Pull request #210 synchronize by TomWambsgans
7m 21s goldilocks
goldilocks
7m 21s
add a test to validate logup soundness bits >= SECURITY_LEVEL Rust #1054: Commit b01b199 pushed by TomWambsgans
7m 44s main
main
7m 44s
Goldilocks Rust #1053: Pull request #210 synchronize by TomWambsgans
3m 0s goldilocks
goldilocks
3m 0s
logup: use a single field element for domain separation between byetc… Rust #1052: Commit 7e53482 pushed by TomWambsgans
7m 10s main
main
7m 10s
Goldilocks Rust #1051: Pull request #210 synchronize by TomWambsgans
6m 39s goldilocks
goldilocks
6m 39s
recursion program: more efficient multilinear-prefixes computation (1… Rust #1050: Commit e51d4c2 pushed by TomWambsgans
7m 25s main
main
7m 25s
whir-svo Rust #1049: Pull request #204 synchronize by TomWambsgans
6m 58s whir-split-eq
whir-split-eq
6m 58s
fix base_eval_eq_packed_with_packed_output (edge case when num_thre… Rust #1048: Commit 5cf504a pushed by TomWambsgans
6m 51s main
main
6m 51s
AIR tables: Rust #1047: Commit 5a5e10d pushed by TomWambsgans
7m 21s main
main
7m 21s
leanVM: use more natural convention for starting / ending PC. Rust #1046: Commit 03dd752 pushed by TomWambsgans
10m 10s main
main
10m 10s
Faster update twiddles function in whir crate Rust #1045: Pull request #225 opened by vladfdp
Action required vladfdp:perf/faster-update-twiddles
vladfdp:perf/faster-update-twiddles
Action required
fiat-shamir: use duplex sponge (#223) Rust #1044: Commit 8fbe00b pushed by TomWambsgans
7m 32s main
main
7m 32s
fiat-shamir: use duplex sponge Rust #1043: Pull request #223 synchronize by TomWambsgans
7m 59s fiat-shamir-duplex-challenger
fiat-shamir-duplex-challenger
7m 59s
fiat-shamir: use duplex sponge Rust #1042: Pull request #223 opened by TomWambsgans
6m 31s fiat-shamir-duplex-challenger
fiat-shamir-duplex-challenger
6m 31s
zkDSL: display a clean error, when an inlined function attempts to re… Rust #1041: Commit ae946e5 pushed by TomWambsgans
7m 23s main
main
7m 23s