Skip to content

Actions: Verified-zkEVM/ArkLib

Actions

Lint trailing whitespaces

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint-whitespaces.yml
456 workflow runs
456 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
feat(oracle-reduction): worst-case round-by-round security + ProtocolSpec RBR game glue [ABF26 split 1/4] Lint trailing whitespaces #446: Pull request #668 synchronize by alexanderlhicks
12s feat/abf26-split-framework
feat/abf26-split-framework
12s
chore(deps): bump actions/setup-python from 6 to 7 Lint trailing whitespaces #445: Pull request #675 opened by dependabot Bot
18s dependabot/github_actions/actions/setup-python-7
dependabot/github_actions/actions/setup-python-7
18s
feat(Stir): prove out_of_dom_smpl_1 (out-of-domain sampling bound, 1 sorry removed) Lint trailing whitespaces #444: Pull request #638 synchronize by latifkasuli
19s latifkasuli:agent/stir-out-of-domain-readiness
latifkasuli:agent/stir-out-of-domain-readiness
19s
docs(skills): resolve the canonical PR base in make-pr-ready Lint trailing whitespaces #443: Pull request #674 opened by ErVinuelas
12s ErVinuelas:make-pr-ready-canonical-base
ErVinuelas:make-pr-ready-canonical-base
12s
feat(Hachi): formalize lemma 10 of the paper Lint trailing whitespaces #442: Pull request #656 synchronize by ErVinuelas
9s ErVinuelas:lemma10-on-650
ErVinuelas:lemma10-on-650
9s
Add "even" and "odd" parts of folding Lint trailing whitespaces #441: Pull request #673 opened by ElijahVlasov
14s NethermindEth:ElijahVlasov/even-odd-folding
NethermindEth:ElijahVlasov/even-odd-folding
14s
feat(coding-theory): integrate CompPoly's executable Guruswami-Sudan decoder Lint trailing whitespaces #440: Pull request #574 synchronize by olympichek
17s formal-land:guruswami-sudan
formal-land:guruswami-sudan
17s
feat(AppendRun): prove Prover.append_run for challenge-free protocols at general arity Lint trailing whitespaces #439: Pull request #643 synchronize by Abraxas1010
1m 10s Abraxas1010:feat/append-run-challenge-free
Abraxas1010:feat/append-run-challenge-free
1m 10s
feat(Append): completeness composition under init-uniformity + run_pure_verifier Lint trailing whitespaces #438: Pull request #635 synchronize by Abraxas1010
19s Abraxas1010:feat/append-completeness-uniform-init
Abraxas1010:feat/append-completeness-uniform-init
19s
feat(AppendOneMsg): unconditional append perfect completeness at 1-message ++ 1-message Lint trailing whitespaces #437: Pull request #636 synchronize by Abraxas1010
28s Abraxas1010:feat/append-oneMsg-crown
Abraxas1010:feat/append-oneMsg-crown
28s
feat(Append): construct the challenge-oracle SubSpec embeddings Lint trailing whitespaces #436: Pull request #633 synchronize by Abraxas1010
18s Abraxas1010:feat/append-challenge-subspec
Abraxas1010:feat/append-challenge-subspec
18s
feat(SendWitness): prove reduction completeness; add Prover.runToRound_succ Lint trailing whitespaces #435: Pull request #631 synchronize by Abraxas1010
19s Abraxas1010:feat/sendwitness-completeness
Abraxas1010:feat/sendwitness-completeness
19s
Polynomial Generators have MCA for RSCodes Lint trailing whitespaces #434: Pull request #610 synchronize by katyhr
12s Katy/RScodeMCA
Katy/RScodeMCA
12s
Polynomial Generators have MCA for RSCodes Lint trailing whitespaces #433: Pull request #610 synchronize by katyhr
11s Katy/RScodeMCA
Katy/RScodeMCA
11s
No index for mem_subdomain_0_iff_mem Lint trailing whitespaces #432: Pull request #671 opened by ElijahVlasov
8s NethermindEth:ElijahVlasov/mem_subdomain_0_iff_mem_no_index
NethermindEth:ElijahVlasov/mem_subdomain_0_iff_mem_no_index
8s
Introduce pullback argument for STIR and WHIR theorems Lint trailing whitespaces #431: Pull request #667 synchronize by ElijahVlasov
11s NethermindEth:ElijahVlasov/pullback
NethermindEth:ElijahVlasov/pullback
11s
Introduce pullback argument for STIR and WHIR theorems Lint trailing whitespaces #430: Pull request #667 synchronize by ElijahVlasov
9s NethermindEth:ElijahVlasov/pullback
NethermindEth:ElijahVlasov/pullback
9s
Clean-up 🧼 of the SplitFold.lean Lint trailing whitespaces #429: Pull request #670 synchronize by ElijahVlasov
8s NethermindEth:ElijahVlasov/improvements-to-splitnth
NethermindEth:ElijahVlasov/improvements-to-splitnth
8s
Clean-up 🧼 of the SplitFold.lean Lint trailing whitespaces #428: Pull request #670 synchronize by ElijahVlasov
12s NethermindEth:ElijahVlasov/improvements-to-splitnth
NethermindEth:ElijahVlasov/improvements-to-splitnth
12s
Clean-up 🧼 of the SplitFold.lean Lint trailing whitespaces #427: Pull request #670 opened by ElijahVlasov
10s NethermindEth:ElijahVlasov/improvements-to-splitnth
NethermindEth:ElijahVlasov/improvements-to-splitnth
10s
Introduce pullback argument for STIR and WHIR theorems Lint trailing whitespaces #426: Pull request #667 synchronize by ElijahVlasov
9s NethermindEth:ElijahVlasov/pullback
NethermindEth:ElijahVlasov/pullback
9s
Polynomial Generators have MCA for RSCodes Lint trailing whitespaces #425: Pull request #610 synchronize by katyhr
11s Katy/RScodeMCA
Katy/RScodeMCA
11s
MCA for MDS codes Lint trailing whitespaces #424: Pull request #662 synchronize by katyhr
8s Katy/MCA_MDS
Katy/MCA_MDS
8s
MCA for MDS codes Lint trailing whitespaces #423: Pull request #662 synchronize by katyhr
8s Katy/MCA_MDS
Katy/MCA_MDS
8s
feat(LogUp): Implemented Logup protocol and its correctness proofs depending on propext, sorryAx, Classical.choice and Quot.sound Lint trailing whitespaces #422: Pull request #503 synchronize by jCabala
9s jCabala:logup-definition
jCabala:logup-definition
9s