Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

PR Summary

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
summary.yml
458 workflow runs
458 workflow runs

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
Eight-limb Montgomery field arithmetic for 255-bit moduli (Pasta) PR Summary #458: Pull request #274 synchronize by mitschabaude-bot
3m 14s
3m 14s
Eight-limb Montgomery field arithmetic for 255-bit moduli (Pasta) PR Summary #457: Pull request #274 synchronize by mitschabaude-bot
1m 49s
1m 49s
Eight-limb Montgomery field arithmetic for 255-bit moduli (Pasta) PR Summary #456: Pull request #274 opened by mitschabaude-bot
4m 12s
4m 12s
ci: deploy lean4repo-utils@0.3 PR review+summary (from README example) PR Summary #455: Pull request #273 synchronize by alexanderlhicks
4m 51s
4m 51s
ci: deploy lean4repo-utils@0.3 PR review+summary (from README example) PR Summary #454: Pull request #273 synchronize by alexanderlhicks
3m 45s
3m 45s
ci: deploy lean4repo-utils@0.3 PR review+summary (from README example) PR Summary #453: Pull request #273 opened by alexanderlhicks
1m 10s
1m 10s
Add some correspondences with mathlib PR Summary #452: Pull request #272 opened by ErVinuelas
1m 47s
1m 47s
test(fields): add Mersenne31 regression coverage PR Summary #451: Pull request #260 synchronize by adrienlacombe
1m 35s
1m 35s
feat(fields): add fast secp field arithmetic PR Summary #450: Pull request #271 opened by varunthakore
2m 3s
2m 3s
feat(fields): add fast Goldilocks arithmetic PR Summary #449: Pull request #262 synchronize by varunthakore
2m 2s
2m 2s
feat(fields): add fast Mersenne31 arithmetic PR Summary #448: Pull request #257 synchronize by varunthakore
1m 37s
1m 37s
feat(fields): add fast KoalaBear/BabyBear arithmetic PR Summary #447: Pull request #258 synchronize by graikos
1m 42s
1m 42s
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 Summary #445: Pull request #270 opened by spitters
1m 26s
1m 26s
bump 4.32 PR Summary #444: Pull request #269 synchronize by alexanderlhicks
2m 21s
2m 21s
bump 4.32 PR Summary #443: Pull request #269 opened by alexanderlhicks
2m 12s
2m 12s
feat(univariate): Cantor-Zassenhaus linear-factor splitter and root finder PR Summary #442: Pull request #252 synchronize by alexanderlhicks
3m 17s
3m 17s
feat(ReedSolomon): decode-outcome iff for Gao decoding PR Summary #441: Pull request #268 opened by alexanderlhicks
43s
43s
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 PR Summary #439: Pull request #266 opened by Abraxas1010
1m 0s
1m 0s
feat: add KoalaBear extension and multilinear shift semantics PR Summary #438: Pull request #265 opened by eliasjudin
1m 38s
1m 38s
version bump 4.31.0 PR Summary #437: Pull request #264 opened by dhsorens
7m 35s
7m 35s
ci: re-deploy PR summary workflow on OpenRouter PR Summary #436: Pull request #263 synchronize by alexanderlhicks
21s
21s
ci: re-deploy PR summary workflow on OpenRouter PR Summary #435: Pull request #263 opened by alexanderlhicks
18s
18s
feat(fields): add fast Goldilocks arithmetic PR Summary #434: Pull request #262 synchronize by varunthakore
1m 57s
1m 57s