Skip to content

Actions: input-output-hk/halo2

Actions

Beta lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints-beta.yml
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove instance from cost model (use only nb_instances) Beta lints #122: Commit 15fe1c6 pushed by iquerejeta
February 3, 2025 10:02 1m 17s iquerejeta/minor_update
iquerejeta/minor_update
February 3, 2025 10:02 1m 17s
Run apt-get update before installing libfontconfig Beta lints #121: Commit b5053c0 pushed by iquerejeta
January 24, 2025 16:09 1m 19s iquerejeta/minor_update
iquerejeta/minor_update
January 24, 2025 16:09 1m 19s
Run apt-get update before installing libfontconfig Beta lints #120: Commit 674a9ff pushed by iquerejeta
January 24, 2025 16:05 13s iquerejeta/minor_update
iquerejeta/minor_update
January 24, 2025 16:05 13s
Update Cost model Beta lints #119: Commit befda0e pushed by iquerejeta
January 24, 2025 15:33 1m 6s iquerejeta/minor_update
iquerejeta/minor_update
January 24, 2025 15:33 1m 6s
PK size fix (#29) Beta lints #118: Commit 3e0ed05 pushed by iquerejeta
January 22, 2025 12:29 1m 4s dev
dev
January 22, 2025 12:29 1m 4s
Working recursive test (#27) Beta lints #117: Commit c5e0ba8 pushed by iquerejeta
January 22, 2025 12:29 1m 2s dev
dev
January 22, 2025 12:29 1m 2s
Remove SerdeObject and add read/write functions to hashable Beta lints #116: Commit e5256cf pushed by iquerejeta
January 22, 2025 11:54 1m 6s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 22, 2025 11:54 1m 6s
Remove SerdeObject and add read/write functions to hashable Beta lints #115: Commit 8aa4997 pushed by iquerejeta
January 22, 2025 11:35 1m 4s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 22, 2025 11:35 1m 4s
Address (simple) review comments Beta lints #114: Commit 35009da pushed by iquerejeta
January 21, 2025 15:29 1m 6s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 21, 2025 15:29 1m 6s
Remove mutable ref from params Beta lints #113: Commit c40e91d pushed by iquerejeta
January 21, 2025 12:08 1m 6s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 21, 2025 12:08 1m 6s
Downsize parameters to match size of the circuit Beta lints #112: Commit a37694d pushed by iquerejeta
January 21, 2025 09:01 1m 9s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 21, 2025 09:01 1m 9s
Nits Beta lints #111: Commit c996443 pushed by iquerejeta
January 20, 2025 14:34 1m 5s iquerejeta/pk-size-fix
iquerejeta/pk-size-fix
January 20, 2025 14:34 1m 5s
PK size fix Beta lints #110: Commit 2d05acb pushed by iquerejeta
January 20, 2025 14:16 1m 4s iquerejeta/pk-size-fix
iquerejeta/pk-size-fix
January 20, 2025 14:16 1m 4s
Address review comments Beta lints #109: Commit c0f10db pushed by iquerejeta
January 20, 2025 12:50 1m 4s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 20, 2025 12:50 1m 4s
Minimla Beta lints #108: Commit e9857ca pushed by iquerejeta
January 16, 2025 17:30 1m 10s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 16, 2025 17:30 1m 10s
Nits Beta lints #107: Commit d8eb47b pushed by iquerejeta
January 16, 2025 10:19 1m 5s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 16, 2025 10:19 1m 5s
Working recursive test Beta lints #106: Commit 04bb044 pushed by iquerejeta
January 16, 2025 09:10 1m 13s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 16, 2025 09:10 1m 13s
Minor changes to run midnight_circuits (#26) Beta lints #105: Commit da31397 pushed by iquerejeta
January 16, 2025 08:28 1m 8s dev
dev
January 16, 2025 08:28 1m 8s
Working recursive test Beta lints #104: Commit a808223 pushed by iquerejeta
January 15, 2025 13:00 1m 16s iquerejeta/in-circuit-verification
iquerejeta/in-circuit-verification
January 15, 2025 13:00 1m 16s
Addressing review comments Beta lints #103: Commit 5c412ac pushed by iquerejeta
January 15, 2025 12:53 1m 9s iquerejeta/minor_changes
iquerejeta/minor_changes
January 15, 2025 12:53 1m 9s
Write k instead of n, and bugfix of a misuse of k instead of n Beta lints #102: Commit bb6f086 pushed by iquerejeta
January 7, 2025 15:46 1m 42s iquerejeta/minor_changes
iquerejeta/minor_changes
January 7, 2025 15:46 1m 42s
Minor changes to run midnight_circuits Beta lints #101: Commit a47d40c pushed by iquerejeta
December 27, 2024 14:44 1m 11s iquerejeta/minor_changes
iquerejeta/minor_changes
December 27, 2024 14:44 1m 11s
Iquerejeta/batch verify (#25) Beta lints #100: Commit e2d2525 pushed by iquerejeta
December 27, 2024 14:43 58s iquerejeta/minor_changes
iquerejeta/minor_changes
December 27, 2024 14:43 58s
Iquerejeta/batch verify (#25) Beta lints #99: Commit e2d2525 pushed by iquerejeta
December 27, 2024 13:39 1m 0s dev
dev
December 27, 2024 13:39 1m 0s
Resolve issue with CI Beta lints #98: Commit 1dec16f pushed by iquerejeta
December 27, 2024 13:26 1m 8s iquerejeta/batch-verify
iquerejeta/batch-verify
December 27, 2024 13:26 1m 8s