Skip to content

Actions: input-output-hk/halo2

Actions

Stable lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints-stable.yml
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow cost model to be called without an actual witness Stable lints #72: Pull request #30 synchronize by iquerejeta
February 3, 2025 10:02 1m 12s iquerejeta/minor_update
iquerejeta/minor_update
February 3, 2025 10:02 1m 12s
Allow cost model to be called without an actual witness Stable lints #71: Pull request #30 synchronize by iquerejeta
January 24, 2025 16:09 1m 13s iquerejeta/minor_update
iquerejeta/minor_update
January 24, 2025 16:09 1m 13s
Allow cost model to be called without an actual witness Stable lints #70: Pull request #30 synchronize by iquerejeta
January 24, 2025 16:05 13s iquerejeta/minor_update
iquerejeta/minor_update
January 24, 2025 16:05 13s
Allow cost model to be called without an actual witness Stable lints #69: Pull request #30 opened by iquerejeta
January 24, 2025 15:55 1m 16s iquerejeta/minor_update
iquerejeta/minor_update
January 24, 2025 15:55 1m 16s
Working recursive test Stable lints #68: Pull request #27 synchronize by iquerejeta
January 22, 2025 11:54 1m 6s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 22, 2025 11:54 1m 6s
Working recursive test Stable lints #67: Pull request #27 synchronize by iquerejeta
January 22, 2025 11:36 1m 9s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 22, 2025 11:36 1m 9s
Working recursive test Stable lints #66: Pull request #27 synchronize by iquerejeta
January 21, 2025 15:30 1m 13s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 21, 2025 15:30 1m 13s
Working recursive test Stable lints #65: Pull request #27 synchronize by iquerejeta
January 21, 2025 12:08 1m 4s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 21, 2025 12:08 1m 4s
Working recursive test Stable lints #64: Pull request #27 synchronize by iquerejeta
January 21, 2025 09:01 1m 21s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 21, 2025 09:01 1m 21s
PK size fix Stable lints #63: Pull request #29 synchronize by iquerejeta
January 20, 2025 14:34 1m 2s iquerejeta/pk-size-fix
iquerejeta/pk-size-fix
January 20, 2025 14:34 1m 2s
PK size fix Stable lints #62: Pull request #29 opened by iquerejeta
January 20, 2025 14:19 1m 8s iquerejeta/pk-size-fix
iquerejeta/pk-size-fix
January 20, 2025 14:19 1m 8s
Working recursive test Stable lints #61: Pull request #27 synchronize by iquerejeta
January 20, 2025 12:50 1m 11s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 20, 2025 12:50 1m 11s
Working recursive test Stable lints #60: Pull request #27 synchronize by iquerejeta
January 16, 2025 17:30 1m 4s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 16, 2025 17:30 1m 4s
Working recursive test Stable lints #59: Pull request #27 synchronize by iquerejeta
January 16, 2025 10:19 1m 7s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 16, 2025 10:19 1m 7s
Working recursive test Stable lints #58: Pull request #27 synchronize by iquerejeta
January 16, 2025 09:10 1m 6s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 16, 2025 09:10 1m 6s
Working recursive test Stable lints #57: Pull request #27 opened by iquerejeta
January 15, 2025 13:02 1m 9s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 15, 2025 13:02 1m 9s
Minor changes to run midnight_circuits Stable lints #56: Pull request #26 synchronize by iquerejeta
January 15, 2025 12:53 1m 5s iquerejeta/minor_changes
iquerejeta/minor_changes
January 15, 2025 12:53 1m 5s
Minor changes to run midnight_circuits Stable lints #55: Pull request #26 synchronize by iquerejeta
January 7, 2025 15:46 1m 21s iquerejeta/minor_changes
iquerejeta/minor_changes
January 7, 2025 15:46 1m 21s
Minor changes to run midnight_circuits Stable lints #54: Pull request #26 opened by iquerejeta
December 27, 2024 14:45 1m 3s iquerejeta/minor_changes
iquerejeta/minor_changes
December 27, 2024 14:45 1m 3s
Iquerejeta/batch verify Stable lints #53: Pull request #25 opened by iquerejeta
December 27, 2024 13:28 1m 1s iquerejeta/batch-verify
iquerejeta/batch-verify
December 27, 2024 13:28 1m 1s
Enable batch verification Stable lints #52: Pull request #21 synchronize by iquerejeta
December 27, 2024 13:06 3m 57s iquerejeta/batch-verify
iquerejeta/batch-verify
December 27, 2024 13:06 3m 57s
Enable batch verification Stable lints #51: Pull request #21 synchronize by iquerejeta
December 27, 2024 12:56 1m 5s iquerejeta/batch-verify
iquerejeta/batch-verify
December 27, 2024 12:56 1m 5s
Enable batch verification Stable lints #50: Pull request #21 synchronize by iquerejeta
December 27, 2024 12:45 1m 9s iquerejeta/batch-verify
iquerejeta/batch-verify
December 27, 2024 12:45 1m 9s
Enable batch verification Stable lints #49: Pull request #21 synchronize by iquerejeta
December 27, 2024 12:33 1m 3s iquerejeta/batch-verify
iquerejeta/batch-verify
December 27, 2024 12:33 1m 3s
Enable batch verification Stable lints #48: Pull request #21 synchronize by iquerejeta
December 27, 2024 12:13 1m 7s iquerejeta/batch-verify
iquerejeta/batch-verify
December 27, 2024 12:13 1m 7s