Skip to content

Actions: z-tech/sumcheck-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4 from z-tech/z-tech/domain_generalization Lean Action CI #102: Commit 0c68545 pushed by z-tech
3m 24s main
main
3m 24s
Domain Generalization Lean Action CI #101: Pull request #4 opened by z-tech
3m 18s z-tech/domain_generalization
z-tech/domain_generalization
3m 18s
domain generalization Lean Action CI #100: Commit cff035e pushed by z-tech
3m 42s z-tech/domain_generalization
z-tech/domain_generalization
3m 42s
typo readme 4 Lean Action CI #99: Commit 31a366e pushed by z-tech
3m 24s main
main
3m 24s
typo readme 2 Lean Action CI #98: Commit 2c18852 pushed by z-tech
3m 20s main
main
3m 20s
typo readme Lean Action CI #97: Commit e5fd7db pushed by z-tech
3m 21s main
main
3m 21s
add readme Lean Action CI #96: Commit 5a1a589 pushed by z-tech
3m 25s main
main
3m 25s
Add Apache License 2.0 Lean Action CI #95: Commit 3919af9 pushed by z-tech
3m 30s main
main
3m 30s
Merge pull request #3 from z-tech/dhsorens/4-26-update Lean Action CI #94: Commit adfb36b pushed by z-tech
8m 14s main
main
8m 14s
Update Dependencies and Lean Version Lean Action CI #93: Pull request #3 opened by dhsorens
8m 16s dhsorens/4-26-update
dhsorens/4-26-update
8m 16s
feat: update to lean 4-26 and import zkEVM CompPoly Lean Action CI #92: Commit 0c07a6f pushed by dhsorens
8m 9s dhsorens/4-26-update
dhsorens/4-26-update
8m 9s
cleanup Lean Action CI #91: Commit 28db15f pushed by z-tech
1m 58s main
main
1m 58s
cleanup Lean Action CI #90: Commit 534769b pushed by z-tech
3m 31s main
main
3m 31s
cleanup Lean Action CI #89: Commit b5d830c pushed by z-tech
3m 25s main
main
3m 25s
cleanup Lean Action CI #88: Commit 537660e pushed by z-tech
4m 5s main
main
4m 5s
cleanup Lean Action CI #87: Commit 18e54b6 pushed by z-tech
2m 52s main
main
2m 52s
cleanup Lean Action CI #86: Commit e25377d pushed by z-tech
2m 1s main
main
2m 1s
cleanup Lean Action CI #85: Commit 7834df1 pushed by z-tech
3m 28s main
main
3m 28s
cleanup Lean Action CI #84: Commit 806b948 pushed by z-tech
3m 40s main
main
3m 40s
cleanup Lean Action CI #83: Commit 7465f6d pushed by z-tech
3m 28s main
main
3m 28s
cleanup Lean Action CI #82: Commit 6b8df43 pushed by z-tech
2m 54s main
main
2m 54s
completeness Lean Action CI #81: Commit fe9f1a9 pushed by z-tech
2m 1s main
main
2m 1s
cleanup Lean Action CI #80: Commit b1b29e0 pushed by z-tech
2m 30s main
main
2m 30s
cleanup Lean Action CI #79: Commit fd02c5e pushed by z-tech
3m 18s main
main
3m 18s
chkpt Lean Action CI #78: Commit 3905d7d pushed by z-tech
3m 4s main
main
3m 4s