10000 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

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
719 workflow runs
719 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Codex] apply naming convention updates CI #695: Pull request #141 opened by mitschabaude
June 25, 2025 13:15 1m 11s codex/review-naming-consistency-in-clean/table
codex/review-naming-consistency-in-clean/table
June 25, 2025 13:15 1m 11s
[Codex] rename utilities to mathlib style CI #694: Pull request #140 synchronize by mitschabaude
June 25, 2025 13:12 4m 28s codex/review-naming-consistency-in-clean/utils
codex/review-naming-consistency-in-clean/utils
June 25, 2025 13:12 4m 28s
10000
Merge pull request #139 from Verified-zkEVM/codex/review-lean-definit… CI #693: Commit 9daf433 pushed by mitschabaude
June 25, 2025 12:37 4m 23s main
main
June 25, 2025 12:37 4m 23s
[Codex] rename provable type API to follow Lean style CI #692: Pull request #139 synchronize by mitschabaude
June 25, 2025 12:33 3m 34s codex/review-lean-definitions-for-naming-convention-consistency
codex/review-lean-definitions-for-naming-convention-consistency
June 25, 2025 12:33 3m 34s
[Codex] rename provable type API to follow Lean style CI #691: Pull request #139 synchronize by mitschabaude
June 25, 2025 11:22 4m 19s codex/review-lean-definitions-for-naming-convention-consistency
codex/review-lean-definitions-for-naming-convention-consistency
June 25, 2025 11:22 4m 19s
[Codex] rename provable type API to follow Lean style CI #690: Pull request #139 opened by mitschabaude
June 25, 2025 11:11 3m 48s codex/review-lean-definitions-for-naming-convention-consistency
codex/review-lean-definitions-for-naming-convention-consistency
June 25, 2025 11:11 3m 48s
Merge pull request #138 from Verified-zkEVM/codex/review-definitions-… CI #689: Commit e7ece81 pushed by mitschabaude
June 25, 2025 10:45 3m 56s main
main
June 25, 2025 10:45 3m 56s
[Codex] rename circuit definitions to follow Lean style CI #688: Pull request #138 synchronize by mitschabaude
June 25, 2025 10:14 3m 56s codex/review-definitions-for-naming-convention-consistency
codex/review-definitions-for-naming-convention-consistency
June 25, 2025 10:14 3m 56s
[Codex] rename circuit definitions to follow Lean style CI #687: Pull request #138 synchronize by mitschabaude
June 25, 2025 10:05 3m 37s codex/review-definitions-for-naming-convention-consistency
codex/review-definitions-for-naming-convention-consistency
June 25, 2025 10:05 3m 37s
[Codex] rename circuit definitions to follow Lean style CI #686: Pull request #138 synchronize by mitschabaude
June 25, 2025 09:59 3m 26s codex/review-definitions-for-naming-convention-consistency
codex/review-definitions-for-naming-convention-consistency
June 25, 2025 09:59 3m 26s
[Codex] rename circuit definitions to follow Lean style CI #685: Pull request #138 synchronize by mitschabaude
June 25, 2025 09:47 3m 46s codex/review-definitions-for-naming-convention-consistency
codex/review-definitions-for-naming-convention-consistency
June 25, 2025 09:47 3m 46s
[Codex] rename circuit definitions to follow Lean style CI #684: Pull request #138 synchronize by mitschabaude
June 25, 2025 09:30 3m 34s codex/review-definitions-for-naming-convention-consistency
codex/review-definitions-for-naming-convention-consistency
June 25, 2025 09:30 3m 34s
[Codex] rename circuit definitions to follow Lean style CI #683: Pull request #138 synchronize by mitschabaude
June 25, 2025 09:16 3m 58s codex/review-definitions-for-naming-convention-consistency
codex/review-definitions-for-naming-convention-consistency
June 25, 2025 09:16 3m 58s
Merge pull request #136 from Verified-zkEVM/codex/rename-functions-in… CI #682: Commit 46d9303 pushed by mitschabaude
June 25, 2025 08:19 3m 47s main
main
June 25, 2025 08:19 3m 47s
Merge pull request #137 from Verified-zkEVM/codex/replace-var_from_of… CI #681: Commit 991c13d pushed by mitschabaude
June 25, 2025 08:18 3m 43s main
main
June 25, 2025 08:18 3m 43s
[Codex] Rename Circuit util functions CI #680: Pull request #136 synchronize by mitschabaude
June 25, 2025 08:11 2m 57s codex/rename-functions-in-circuit/extensions.lean
codex/rename-functions-in-circuit/extensions.lean
June 25, 2025 08:11 2m 57s
Merge pull request #135 from yoichi-zksecurity/min_imports CI #679: Commit cb1d5f6 pushed by yoichi-zksecurity
June 24, 2025 20:16 4m 12s main
main
June 24, 2025 20:16 4m 12s
[Codex] Rename var_from_offset to varFromOffset CI #678: Pull request #137 opened by mitschabaude
June 24, 2025 19:45 4m 14s codex/replace-var_from_offset-with-varfromoffset
codex/replace-var_from_offset-with-varfromoffset
June 24, 2025 19:45 4m 14s
Merge pull request #133 from Verified-zkEVM/codex/propose-naming-conv… CI #677: Commit d4a5412 pushed by mitschabaude
June 24, 2025 19:31 4m 11s main
main
June 24, 2025 19:31 4m 11s
[Codex] follow naming conventions CI #676: Pull request #133 synchronize by mitschabaude
June 24, 2025 18:52 4m 24s codex/propose-naming-convention-updates-in-lean-files
codex/propose-naming-convention-updates-in-lean-files
June 24, 2025 18:52 4m 24s
Lighter Mathlib dependency CI #675: Pull request #135 opened by yoichi-zksecurity
June 24, 2025 17:38 4m 20s yoichi-zksecurity:min_imports
yoichi-zksecurity:min_imports
June 24, 2025 17:38 4m 20s
More BLAKE3 gadgets CI #674: Pull request #134 opened by gio54321
June 24, 2025 16:14 1m 51s blake3-compression
blake3-compression
June 24, 2025 16:14 1m 51s
[Codex] follow naming conventions CI #673: Pull request #133 opened by mitschabaude
June 24, 2025 15:31 4m 21s codex/propose-naming-convention-updates-in-lean-files
codex/propose-naming-convention-updates-in-lean-files
June 24, 2025 15:31 4m 21s
Merge pull request #132 from Verified-zkEVM/codex/create-pr-to-addres… CI #672: Commit 6b27254 pushed by mitschabaude
June 24, 2025 14:05 4m 13s main
main
June 24, 2025 14:05 4m 13s
[Codex] Rename uses_local_witnesses and related methods CI #671: Pull request #132 synchronize by mitschabaude
June 24, 2025 13:57 4m 26s codex/create-pr-to-address-issue-#131
codex/create-pr-to-address-issue-#131
June 24, 2025 13:57 4m 26s
0