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 #106: Scheduled
1m 38s master
master
1m 38s
feat(multilinear): Möbius zeta spec equivalence (task #5, step 2) Docs Integrity #139: Pull request #200 opened by klausnat
10s klausnat:mono-to-lagrange
klausnat:mono-to-lagrange
10s
feat(multilinear): Möbius zeta spec equivalence (task #5, step 2) Lean Action CI #864: Pull request #200 opened by klausnat
5m 35s klausnat:mono-to-lagrange
klausnat:mono-to-lagrange
5m 35s
feat(multilinear): Möbius zeta spec equivalence (task #5, step 2) PR Review #202: Pull request #200 opened by klausnat
1s klausnat:mono-to-lagrange
klausnat:mono-to-lagrange
1s
feat(multilinear): Möbius zeta spec equivalence (task #5, step 2) Lint Style #526: Pull request #200 opened by klausnat
10s klausnat:mono-to-lagrange
klausnat:mono-to-lagrange
10s
feat(multilinear): Möbius zeta spec equivalence (task #5, step 2) PR Summary #167: Pull request #200 opened by klausnat
2m 0s
2m 0s
Update Lean Project Update Lean Project #105: Scheduled
1m 36s master
master
1m 36s
feat(univariate): Horner's method implementation Lint Style #525: Pull request #199 synchronize by DimitriosMitsios
7s DimitriosMitsios:horner
DimitriosMitsios:horner
7s
feat(univariate): Horner's method implementation Lean Action CI #863: Pull request #199 synchronize by DimitriosMitsios
6m 7s DimitriosMitsios:horner
DimitriosMitsios:horner
6m 7s
feat(univariate): Horner's method implementation Docs Integrity #138: Pull request #199 synchronize by DimitriosMitsios
6s DimitriosMitsios:horner
DimitriosMitsios:horner
6s
feat(univariate): Horner's method implementation PR Summary #166: Pull request #199 synchronize by DimitriosMitsios
2m 5s
2m 5s
feat(univariate): Horner's method implementation Lean Action CI #862: Pull request #199 opened by DimitriosMitsios
5m 14s DimitriosMitsios:horner
DimitriosMitsios:horner
5m 14s
feat(univariate): Horner's method implementation Lint Style #524: Pull request #199 opened by DimitriosMitsios
9s DimitriosMitsios:horner
DimitriosMitsios:horner
9s
feat(univariate): Horner's method implementation Docs Integrity #137: Pull request #199 opened by DimitriosMitsios
10s DimitriosMitsios:horner
DimitriosMitsios:horner
10s
feat(univariate): Horner's method implementation PR Review #201: Pull request #199 opened by DimitriosMitsios
1s DimitriosMitsios:horner
DimitriosMitsios:horner
1s
feat(univariate): Horner's method implementation PR Summary #165: Pull request #199 opened by DimitriosMitsios
1m 33s
1m 33s
feat(clMul): Optimize clMul in Binary Common (issue #129) (#196) Lint Style #523: Commit d1fe8d6 pushed by chung-thai-nguyen
8s master
master
8s
feat(clMul): Optimize clMul in Binary Common (issue #129) (#196) Lean Action CI #861: Commit d1fe8d6 pushed by chung-thai-nguyen
5m 26s master
master
5m 26s
feat(clMul): Optimize clMul in Binary Common (issue #129) (#196) Docs Integrity #136: Commit d1fe8d6 pushed by chung-thai-nguyen
8s master
master
8s
feat(clMul): Optimize clMul in Binary Common (issue #129) Docs Integrity #135: Pull request #196 synchronize by DimitriosMitsios
9s DimitriosMitsios:clMul-opt
DimitriosMitsios:clMul-opt
9s
feat(clMul): Optimize clMul in Binary Common (issue #129) Lean Action CI #860: Pull request #196 synchronize by DimitriosMitsios
5m 52s DimitriosMitsios:clMul-opt
DimitriosMitsios:clMul-opt
5m 52s
feat(clMul): Optimize clMul in Binary Common (issue #129) Lint Style #522: Pull request #196 synchronize by DimitriosMitsios
8s DimitriosMitsios:clMul-opt
DimitriosMitsios:clMul-opt
8s
feat(clMul): Optimize clMul in Binary Common (issue #129) PR Summary #164: Pull request #196 synchronize by DimitriosMitsios
2m 11s
2m 11s
Update Lean Project Update Lean Project #104: Scheduled
1m 32s master
master
1m 32s
Update Lean Project Update Lean Project #103: Scheduled
1m 37s master
master
1m 37s