Skip to content

Actions: Verified-zkEVM/ArkLib

Actions

Build and Deploy Website to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(OutofDomainSmpl): fill sorry placeholders (#351)
Build and Deploy Website to GitHub Pages #111: Commit 52514ac pushed by quangvdao
2m 28s main
feat(RationalFunctions): fill sorry placeholders (#340)
Build and Deploy Website to GitHub Pages #110: Commit 60d5ea0 pushed by quangvdao
2m 37s main
feat(Existence): fill sorry placeholders (#358)
Build and Deploy Website to GitHub Pages #109: Commit 1313133 pushed by quangvdao
6m 23s main
feat(BCIKS20): prove `matching_set_is_a_sub_of_coeffs_of_close_proxim…
Build and Deploy Website to GitHub Pages #108: Commit e7639ab pushed by quangvdao
1m 51s main
feat(JohnsonBound/Lemmas): prove E = 1 - (e B 0)/n, h_ineq1, h_ineq2 …
Build and Deploy Website to GitHub Pages #107: Commit fdfb08f pushed by quangvdao
1m 50s main
ci: make PR Lean cache restore-only and namespace cache keys (#322)
Build and Deploy Website to GitHub Pages #106: Commit 624a98b pushed by alexanderlhicks
2h 17m 45s main
chore: remove empty files (#321)
Build and Deploy Website to GitHub Pages #104: Commit 9d35623 pushed by alexanderlhicks
7m 27s main
chore: remove dead List utility files (#319)
Build and Deploy Website to GitHub Pages #103: Commit 89479a1 pushed by alexanderlhicks
2h 8m 6s main
chore: remove unused CNat module (#318)
Build and Deploy Website to GitHub Pages #102: Commit a720bd5 pushed by alexanderlhicks
5m 3s main
chore: remove dead Polynomial.EvenAndOdd (#320)
Build and Deploy Website to GitHub Pages #101: Commit 71d6881 pushed by alexanderlhicks
1m 1s main
proofs for parts of Bivariate.lean (#306)
Build and Deploy Website to GitHub Pages #100: Commit e5f5cf7 pushed by quangvdao
2h 5m 49s main
feat(Fri/Domain): prove field simplification lemmas (#316)
Build and Deploy Website to GitHub Pages #99: Commit 97b4f97 pushed by quangvdao
39s main
feat(FiatShamir/Basic): fill sorry in fiatShamir_completeness (#317)
Build and Deploy Website to GitHub Pages #98: Commit 4338714 pushed by quangvdao
15m 31s main
feat(Choose2): prove choose_2_convex (#314)
Build and Deploy Website to GitHub Pages #97: Commit 79f937d pushed by quangvdao
27m 33s main
feat(Basic): prove finite_relHammingDistRange (#315)
Build and Deploy Website to GitHub Pages #96: Commit bdfef04 pushed by quangvdao
51s main
Refactoring CompPoly Out of Arklib (#307)
Build and Deploy Website to GitHub Pages #95: Commit e127571 pushed by alexanderlhicks
2h 20m 30s main
Feat: Update to v4.26 and VCV w/ dependent oracles (#303)
Build and Deploy Website to GitHub Pages #94: Commit 263def1 pushed by alexanderlhicks
2h 11m 54s main
Proof of Polishchuk-Spielman (#292)
Build and Deploy Website to GitHub Pages #93: Commit a712cd7 pushed by alexanderlhicks
5m 46s main
Bump leanprover/lean-action from 1.3.0 to 1.4.0 (#302)
Build and Deploy Website to GitHub Pages #92: Commit 85b86c2 pushed by alexanderlhicks
1h 10m 9s main
fix: resolve sorries in Data folder with Claude (#295)
Build and Deploy Website to GitHub Pages #90: Commit 5dd4745 pushed by alexanderlhicks
1h 16m 31s main
Update note on standardization in CONTRIBUTING.md
Build and Deploy Website to GitHub Pages #89: Commit 779e3ec pushed by alexanderlhicks
1h 14m 32s main
doc: improve CONTRIBUTING.md (#293)
Build and Deploy Website to GitHub Pages #88: Commit 0d4f9db pushed by alexanderlhicks
4m 52s main
Resolving Issue #235 (#289)
Build and Deploy Website to GitHub Pages #87: Commit dfe4b50 pushed by alexanderlhicks
1h 11m 21s main