Skip to content

Actions: zkFold/symbolic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
889 workflow runs
889 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
WIP: Haskell serialisation and Rust bridge CI Pull Request #2279: Pull request #818 synchronize by vlasin
11m 43s halo2
halo2
11m 43s
Merge pull request #809 from zkFold/808-circuit-opt CI Push #336: Commit 3ed1178 pushed by vlasin
23m 30s main
main
23m 30s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2278: Pull request #809 synchronize by sourabhxyz
3h 59m 27s 808-circuit-opt
808-circuit-opt
3h 59m 27s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2277: Pull request #809 synchronize by sourabhxyz
1m 7s 808-circuit-opt
808-circuit-opt
1m 7s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2276: Pull request #809 synchronize by sourabhxyz
2h 0m 40s 808-circuit-opt
808-circuit-opt
2h 0m 40s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2275: Pull request #809 synchronize by sourabhxyz
1h 16m 8s 808-circuit-opt
808-circuit-opt
1h 16m 8s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2274: Pull request #809 synchronize by sourabhxyz
13m 7s 808-circuit-opt
808-circuit-opt
13m 7s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2273: Pull request #809 synchronize by sourabhxyz
13m 15s 808-circuit-opt
808-circuit-opt
13m 15s
WIP: Haskell serialisation and Rust bridge CI Pull Request #2272: Pull request #818 synchronize by vks4git
11m 38s halo2
halo2
11m 38s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2271: Pull request #809 synchronize by sourabhxyz
5m 44s 808-circuit-opt
808-circuit-opt
5m 44s
WIP: Haskell serialisation and Rust bridge CI Pull Request #2270: Pull request #818 synchronize by vks4git
11m 26s halo2
halo2
11m 26s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2269: Pull request #809 synchronize by sourabhxyz
16m 50s 808-circuit-opt
808-circuit-opt
16m 50s
WIP: Haskell serialisation and Rust bridge CI Pull Request #2268: Pull request #818 synchronize by vks4git
6m 11s halo2
halo2
6m 11s
WIP: Haskell serialisation and Rust bridge CI Pull Request #2267: Pull request #818 synchronize by vks4git
11m 41s halo2
halo2
11m 41s
WIP: Haskell serialisation and Rust bridge CI Pull Request #2266: Pull request #818 synchronize by vks4git
4m 12s halo2
halo2
4m 12s
WIP: Haskell serialisation and Rust bridge CI Pull Request #2265: Pull request #818 synchronize by vks4git
4m 21s halo2
halo2
4m 21s
WIP: Haskell serialisation and Rust bridge CI Pull Request #2264: Pull request #818 synchronize by vks4git
15m 38s halo2
halo2
15m 38s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2263: Pull request #809 synchronize by sourabhxyz
6m 55s 808-circuit-opt
808-circuit-opt
6m 55s
WIP: Haskell serialisation and Rust bridge CI Pull Request #2262: Pull request #818 opened by vks4git
13m 33s halo2
halo2
13m 33s
feat: bump constraint limit to 2^20 CI Pull Request #2261: Pull request #817 opened by sourabhxyz
13m 6s upon-808-test-pau2-20
upon-808-test-pau2-20
13m 6s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2260: Pull request #809 synchronize by sourabhxyz
5m 54s 808-circuit-opt
808-circuit-opt
5m 54s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2259: Pull request #809 synchronize by sourabhxyz
12m 45s 808-circuit-opt
808-circuit-opt
12m 45s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2258: Pull request #809 synchronize by sourabhxyz
11m 34s 808-circuit-opt
808-circuit-opt
11m 34s
feat(#808): ledger circuit optimisations and improvements CI Pull Request #2257: Pull request #809 synchronize by sourabhxyz
18m 21s 808-circuit-opt
808-circuit-opt
18m 21s
Merge pull request #807 from zkFold/allow-null-txs CI Push #335: Commit 8a26ca1 pushed by vlasin
14m 28s main
main
14m 28s
⚡