Skip to content

Actions: input-output-hk/halo2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cost_model: implement [compute_min_k] Beta lints #77: Commit 15d926b pushed by miguel-ambrona
December 18, 2024 19:40 1m 1s ambrona@cost_model
ambrona@cost_model
December 18, 2024 19:40 1m 1s
WIP Beta lints #76: Commit 27d5037 pushed by miguel-ambrona
December 18, 2024 19:35 1m 4s ambrona@cost_model
ambrona@cost_model
December 18, 2024 19:35 1m 4s
cost_model: implement [compute_min_k] Beta lints #75: Commit c3661b8 pushed by miguel-ambrona
December 18, 2024 18:44 58s ambrona@cost_model
ambrona@cost_model
December 18, 2024 18:44 58s
Review comments Beta lints #74: Commit 25ac945 pushed by iquerejeta
December 12, 2024 16:26 26s iquerejeta/pruning
iquerejeta/pruning
December 12, 2024 16:26 26s
* Implement PartialEq, Eq, Hash for Cell and AssignedCell Beta lints #73: Commit dd00d8e pushed by iquerejeta
December 12, 2024 15:28 1m 7s iquerejeta/pruning
iquerejeta/pruning
December 12, 2024 15:28 1m 7s
Apply tachyon optimizations Beta lints #72: Commit 961e7d2 pushed by iquerejeta
December 12, 2024 11:46 28s iquerejeta/pruning
iquerejeta/pruning
December 12, 2024 11:46 28s
Bring examples back Beta lints #71: Commit 0d9f6ed pushed by iquerejeta
December 11, 2024 13:11 1m 12s iquerejeta/pruning
iquerejeta/pruning
December 11, 2024 13:11 1m 12s
WIP Beta lints #70: Commit e620943 pushed by iquerejeta
December 9, 2024 10:22 1m 1s iquerejeta/pruning
iquerejeta/pruning
December 9, 2024 10:22 1m 1s
Failing examples Beta lints #69: Commit 78aaf0d pushed by iquerejeta
December 6, 2024 14:45 1m 3s iquerejeta/pruning
iquerejeta/pruning
December 6, 2024 14:45 1m 3s
Plonk working parametrised only by F and PCS. Beta lints #68: Commit b3c1527 pushed by iquerejeta
December 6, 2024 12:21 1m 3s iquerejeta/pruning
iquerejeta/pruning
December 6, 2024 12:21 1m 3s
[WIP] Changes required for Bridge circuits CI checks #42: Pull request #16 synchronize by iquerejeta
November 26, 2024 17:51 11m 53s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 17:51 11m 53s
[WIP] Changes required for Bridge circuits Stable lints #39: Pull request #16 synchronize by iquerejeta
November 26, 2024 17:51 1m 2s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 17:51 1m 2s
Fix expected values Beta lints #67: Commit 9b7febd pushed by iquerejeta
November 26, 2024 17:51 1m 1s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 17:51 1m 1s
[WIP] Changes required for Bridge circuits Stable lints #38: Pull request #16 synchronize by iquerejeta
November 26, 2024 17:34 1m 11s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 17:34 1m 11s
[WIP] Changes required for Bridge circuits CI checks #41: Pull request #16 synchronize by iquerejeta
November 26, 2024 17:34 4m 22s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 17:34 4m 22s
Exposing functions in CS Back to verify proof in-circuit Beta lints #66: Commit ae0a885 pushed by iquerejeta
November 26, 2024 17:34 1m 6s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 17:34 1m 6s
[WIP] Changes required for Bridge circuits Stable lints #37: Pull request #16 synchronize by iquerejeta
November 26, 2024 11:21 1m 0s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 11:21 1m 0s
[WIP] Changes required for Bridge circuits CI checks #40: Pull request #16 synchronize by iquerejeta
November 26, 2024 11:21 4m 0s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 11:21 4m 0s
Debugging bridge circuits Beta lints #65: Commit e4e2e55 pushed by iquerejeta
November 26, 2024 11:21 1m 1s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 11:21 1m 1s
[WIP] Changes required for Bridge circuits Stable lints #36: Pull request #16 synchronize by iquerejeta
November 26, 2024 10:54 1m 0s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 10:54 1m 0s
[WIP] Changes required for Bridge circuits CI checks #39: Pull request #16 synchronize by iquerejeta
November 26, 2024 10:54 4m 4s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 10:54 4m 4s
Debugging bridge circuits Beta lints #64: Commit b4604d4 pushed by iquerejeta
November 26, 2024 10:54 1m 1s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 26, 2024 10:54 1m 1s
[WIP] Changes required for Bridge circuits Stable lints #35: Pull request #16 synchronize by iquerejeta
November 22, 2024 15:21 1m 0s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 22, 2024 15:21 1m 0s
[WIP] Changes required for Bridge circuits CI checks #38: Pull request #16 synchronize by iquerejeta
November 22, 2024 15:21 4m 30s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 22, 2024 15:21 4m 30s
Minor Beta lints #63: Commit be92a55 pushed by iquerejeta
November 22, 2024 15:21 1m 53s iquerejeta/bridge_circuits
iquerejeta/bridge_circuits
November 22, 2024 15:21 1m 53s