Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(fields): add fast KoalaBear/BabyBear arithmetic PR Summary #446: Pull request #258 synchronize by graikos
4m 3s
4m 3s
feat(NTT): negacyclic / incomplete-NTT convolution algebra PR Review #319: Issue comment #270 (comment) created by spitters
1s
1s
feat(NTT): negacyclic / incomplete-NTT convolution algebra PR Summary #445: Pull request #270 opened by spitters
1m 26s
1m 26s
Update Lean Project Update Lean Project #191: Scheduled
1m 20s master
master
1m 20s
bump 4.32 Lean Action CI #1194: Pull request #269 synchronize by alexanderlhicks
24m 40s 432
432
24m 40s
bump 4.32 Lint Style #856: Pull request #269 synchronize by alexanderlhicks
7s 432
432
7s
bump 4.32 Docs Integrity #469: Pull request #269 synchronize by alexanderlhicks
8s 432
432
8s
bump 4.32 PR Summary #444: Pull request #269 synchronize by alexanderlhicks
2m 21s
2m 21s
bump 4.32 Lean Action CI #1193: Pull request #269 opened by alexanderlhicks
12m 21s 432
432
12m 21s
bump 4.32 PR Review #317: Pull request #269 opened by alexanderlhicks
21m 11s 432
432
21m 11s
bump 4.32 Docs Integrity #468: Pull request #269 opened by alexanderlhicks
9s 432
432
9s
bump 4.32 Lint Style #855: Pull request #269 opened by alexanderlhicks
9s 432
432
9s
bump 4.32 PR Summary #443: Pull request #269 opened by alexanderlhicks
2m 12s
2m 12s
Update Lean Project Update Lean Project #190: Scheduled
1m 10s master
master
1m 10s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder PR Review #316: Issue comment #252 (comment) created by alexanderlhicks
8s
8s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder Lint Style #854: Pull request #252 synchronize by alexanderlhicks
11s DimitriosMitsios:cz-root-finding
DimitriosMitsios:cz-root-finding
11s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder Docs Integrity #467: Pull request #252 synchronize by alexanderlhicks
9s DimitriosMitsios:cz-root-finding
DimitriosMitsios:cz-root-finding
9s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder Lean Action CI #1192: Pull request #252 synchronize by alexanderlhicks
23m 13s DimitriosMitsios:cz-root-finding
DimitriosMitsios:cz-root-finding
23m 13s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder PR Summary #442: Pull request #252 synchronize by alexanderlhicks
3m 17s
3m 17s
Update Lean Project Update Lean Project #189: Scheduled
1m 13s master
master
1m 13s
feat(multivariate): add first-vars degree and finSucc coefficient helpers PR Review #315: Issue comment #126 (comment) created by alexanderlhicks
1s
1s
feat(ReedSolomon): decode-outcome iff for Gao decoding (#268) Lint Style #853: Commit 0ec1f6e pushed by alexanderlhicks
8s master
master
8s
feat(ReedSolomon): decode-outcome iff for Gao decoding (#268) Docs Integrity #466: Commit 0ec1f6e pushed by alexanderlhicks
10s master
master
10s
feat(ReedSolomon): decode-outcome iff for Gao decoding (#268) Lean Action CI #1191: Commit 0ec1f6e pushed by alexanderlhicks
22m 23s master
master
22m 23s
feat(ReedSolomon): decode-outcome iff for Gao decoding PR Summary #441: Pull request #268 opened by alexanderlhicks
43s
43s