8000 CI · Workflow runs · Verified-zkEVM/clean · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: Verified-zkEVM/clean

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
719 workflow runs
719 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Mathlib naming conventions for functions CI #720: Pull request #151 opened by yoichi-zksecurity
June 26, 2025 20:33 2m 52s fix/codebase-mathlib-naming-conventions
fix/codebase-mathlib-naming-conventions
June 26, 2025 20:33 2m 52s
Merge pull request #150 from Verified-zkEVM/fix/tables-mathlib-naming… CI #719: Commit 51fee65 pushed by yoichi-zksecurity
June 26, 2025 20:17 1m 33s main
main
June 26, 2025 20:17 1m 33s
FormalCircuit.isGeneralFormalCircuit CI #718: Pull request #149 synchronize by yoichi-zksecurity
June 26, 2025 17:19 3m 34s general_formal_circuit_general
general_formal_circuit_general
June 26, 2025 17:19 3m 34s
Fix Mathlib naming conventions in Tables directory CI #717: Pull request #150 opened by yoichi-zksecurity
June 26, 2025 17:14 1m 56s fix/tables-mathlib-naming-conventions
fix/tables-mathlib-naming-conventions
June 26, 2025 17:14 1m 56s
Merge pull request #148 from Verified-zkEVM/fix/comment-capitalizatio… CI #716: Commit e4dc02a pushed by yoichi-zksecurity
June 26, 2025 16:56 3m 39s main
main
June 26, 2025 16:56 3m 39s
Merge pull request #147 from Verified-zkEVM/fix/specs-mathlib-naming-… CI #715: Commit d7a9b5e pushed by yoichi-zksecurity
June 26, 2025 16:07 1m 46s main
main
June 26, 2025 16:07 1m 46s
FormalCircuit.isGeneralFormalCircuit CI #714: Pull request #149 opened by yoichi-zksecurity
June 26, 2025 15:26 4m 0s general_formal_circuit_general
general_formal_circuit_general
June 26, 2025 15:26 4m 0s
Fix comment capitalization to match code after recent changes CI #713: Pull request #148 opened by yoichi-zksecurity
June 26, 2025 14:14 3m 58s fix/comment-capitalization-conventions
fix/comment-capitalization-conventions
June 26, 2025 14:14 3m 58s
Merge pull request #146 from Verified-zkEVM/general-circuit CI #712: Commit 2d0f3db pushed by mitschabaude
June 26, 2025 14:04 3m 34s main
main
June 26, 2025 14:04 3m 34s
Fix Mathlib naming conventions in Specs directory CI #711: Pull request #147 opened by yoichi-zksecurity
June 26, 2025 07:52 1m 44s fix/specs-mathlib-naming-conventions
fix/specs-mathlib-naming-conventions
June 26, 2025 07:52 1m 44s
General Formal Circuit CI #710: Pull request #146 synchronize by mitschabaude
June 26, 2025 07:49 3m 33s general-circuit
general-circuit
June 26, 2025 07:49 3m 33s
Merge pull request #145 from Verified-zkEVM/fix/mathlib-naming-conven… CI #709: Commit 3302215 pushed by yoichi-zksecurity
June 26, 2025 07:16 3m 11s main
main
June 26, 2025 07:16 3m 11s
Fix Mathlib naming conventions in Gadgets directory CI #708: Pull request #145 synchronize by yoichi-zksecurity
June 25, 2025 17:31 3m 6s fix/mathlib-naming-conventions
fix/mathlib-naming-conventions
June 25, 2025 17:31 3m 6s
Fix Mathlib naming conventions in Gadgets directory CI #707: Pull request #145 opened by yoichi-zksecurity
June 25, 2025 17:30 3m 8s fix/mathlib-naming-conventions
fix/mathlib-naming-conventions
June 25, 2025 17:30 3m 8s
Merge pull request #144 from Verified-zkEVM/fix/rename-everyRowTwoRow… CI #706: Commit e7c82c3 pushed by yoichi-zksecurity
June 25, 2025 15:54 1m 56s main
main
June 25, 2025 15:54 1m 56s
Rename everyRowTwoRowsInduction to every_row_two_rows_induction CI #705: Pull request #144 opened by yoichi-zksecurity
June 25, 2025 15:30 1m 41s fix/rename-everyRowTwoRowsInduction-to-every-row-two-rows-induction
fix/rename-everyRowTwoRowsInduction-to-every-row-two-rows-induction
June 25, 2025 15:30 1m 41s
Rename everyRowTwoRowsInduction to every_row_two_rows_rec CI #704: Pull request #143 opened by yoichi-zksecurity
June 25, 2025 15:16 2m 1s fix/rename-everyRowTwoRowsInduction-to-every-row-two-rows-rec
fix/rename-everyRowTwoRowsInduction-to-every-row-two-rows-rec
June 25, 2025 15:16 2m 1s
Merge pull request #142 from Verified-zkEVM/codex/update-property-nam… CI #703: Commit 528ee45 pushed by mitschabaude
June 25, 2025 14:05 3m 41s main
main
June 25, 2025 14:05 3m 41s
[Codex] rename spec and assumptions fields CI #702: Pull request #142 synchronize by mitschabaude
June 25, 2025 14:02 1m 55s codex/update-property-names-to-uppercamelcase
codex/update-property-names-to-uppercamelcase
June 25, 2025 14:02 1m 55s
Merge pull request #141 from Verified-zkEVM/codex/review-naming-consi… CI #701: Commit 0bc7ed7 pushed by mitschabaude
June 25, 2025 13:55 1m 43s main
main
June 25, 2025 13:55 1m 43s
[Codex] rename spec and assumptions fields CI #700: Pull request #142 synchronize by mitschabaude
June 25, 2025 13:54 1m 44s codex/update-property-names-to-uppercamelcase
codex/update-property-names-to-uppercamelcase
June 25, 2025 13:54 1m 44s
[Codex] rename spec and assumptions fields CI #699: Pull request #142 synchronize by mitschabaude
June 25, 2025 13:50 3m 27s codex/update-property-names-to-uppercamelcase
codex/update-property-names-to-uppercamelcase
June 25, 2025 13:50 3m 27s
[Codex] rename spec and assumptions fields CI #698: Pull request #142 synchronize by yoichi-zksecurity
June 25, 2025 13:35 3m 34s codex/update-property-names-to-uppercamelcase
codex/update-property-names-to-uppercamelcase
June 25, 2025 13:35 3m 34s
[Codex] apply naming convention updates CI #697: Pull request #141 synchronize by mitschabaude
June 25, 2025 13:20 4m 14s codex/review-naming-consistency-in-clean/table
codex/review-naming-consistency-in-clean/table
June 25, 2025 13:20 4m 14s
Merge pull request #140 from Verified-zkEVM/codex/review-naming-consi… CI #696: Commit c48f030 pushed by mitschabaude
June 25, 2025 13:17 3m 56s main
main
June 25, 2025 13:17 3m 56s
0