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
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
feat(ReedSolomon): decode-outcome iff for Gao decoding Docs Integrity #465: Pull request #268 opened by alexanderlhicks
8s feat/gao-decode-none-iff
feat/gao-decode-none-iff
8s
feat(ReedSolomon): decode-outcome iff for Gao decoding Lint Style #852: Pull request #268 opened by alexanderlhicks
7s feat/gao-decode-none-iff
feat/gao-decode-none-iff
7s
feat(ReedSolomon): decode-outcome iff for Gao decoding PR Review #314: Pull request #268 opened by alexanderlhicks
9m 58s feat/gao-decode-none-iff
feat/gao-decode-none-iff
9m 58s
feat(ReedSolomon): decode-outcome iff for Gao decoding Lean Action CI #1190: Pull request #268 opened by alexanderlhicks
19m 45s feat/gao-decode-none-iff
feat/gao-decode-none-iff
19m 45s
Update Lean Project Update Lean Project #188: Scheduled
1m 12s master
master
1m 12s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao d… Docs Integrity #464: Commit 95569c0 pushed by alexanderlhicks
8s master
master
8s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao d… Lean Action CI #1189: Commit 95569c0 pushed by alexanderlhicks
20m 21s master
master
20m 21s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao d… Lint Style #851: Commit 95569c0 pushed by alexanderlhicks
8s master
master
8s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao decoding PR Review #313: Issue comment #267 (comment) created by Abraxas1010
1s
1s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao decoding PR Review #312: Issue comment #267 (comment) created by alexanderlhicks
1s
1s
Add computable versions of div and mod PR Review #311: Issue comment #127 (comment) created by alexanderlhicks
6s
6s
Update Lean Project Update Lean Project #187: Scheduled
1m 12s master
master
1m 12s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao decoding PR Review #310: Pull request #267 opened by Abraxas1010
2s Abraxas1010:feat/gao-farness-certificate
Abraxas1010:feat/gao-farness-certificate
2s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao decoding Lint Style #850: Pull request #267 opened by Abraxas1010
9s Abraxas1010:feat/gao-farness-certificate
Abraxas1010:feat/gao-farness-certificate
9s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao decoding Lean Action CI #1188: Pull request #267 opened by Abraxas1010
22m 15s Abraxas1010:feat/gao-farness-certificate
Abraxas1010:feat/gao-farness-certificate
22m 15s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao decoding Docs Integrity #463: Pull request #267 opened by Abraxas1010
10s Abraxas1010:feat/gao-farness-certificate
Abraxas1010:feat/gao-farness-certificate
10s
feat(ReedSolomon): decoder refusal as a farness certificate for Gao decoding PR Summary #440: Pull request #267 opened by Abraxas1010
2m 15s
2m 15s
feat(ReedSolomon): certify the forward NTT as a Reed-Solomon encoder Lint Style #849: Pull request #266 opened by Abraxas1010
Action required Abraxas1010:feat/ntt-rs-encode
Abraxas1010:feat/ntt-rs-encode
Action required
feat(ReedSolomon): certify the forward NTT as a Reed-Solomon encoder PR Summary #439: Pull request #266 opened by Abraxas1010
1m 0s
1m 0s