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
Generalize Fin.sum_univ_odd_even to arbitrary r Docs Integrity #225: Pull request #182 synchronize by dhsorens
Action required MavenRain:feat/generalize-sum-univ-even-odd
MavenRain:feat/generalize-sum-univ-even-odd
Action required
Generalize Fin.sum_univ_odd_even to arbitrary r Lint Style #612: Pull request #182 synchronize by dhsorens
Action required MavenRain:feat/generalize-sum-univ-even-odd
MavenRain:feat/generalize-sum-univ-even-odd
Action required
Generalize Fin.sum_univ_odd_even to arbitrary r Lean Action CI #950: Pull request #182 synchronize by dhsorens
Action required MavenRain:feat/generalize-sum-univ-even-odd
MavenRain:feat/generalize-sum-univ-even-odd
Action required
Generalize Fin.sum_univ_odd_even to arbitrary r PR Summary #237: Pull request #182 synchronize by dhsorens
1m 40s
1m 40s
feat(univariate): efficient evaluation on a batch of points using subproduct-tree algorithm Lint Style #611: Pull request #213 synchronize by olympichek
14s formal-land:subproduct-tree
formal-land:subproduct-tree
14s
feat(univariate): efficient evaluation on a batch of points using subproduct-tree algorithm Lean Action CI #949: Pull request #213 synchronize by olympichek
9m 49s formal-land:subproduct-tree
formal-land:subproduct-tree
9m 49s
feat(univariate): efficient evaluation on a batch of points using subproduct-tree algorithm Docs Integrity #224: Pull request #213 synchronize by olympichek
10s formal-land:subproduct-tree
formal-land:subproduct-tree
10s
feat(univariate): efficient evaluation on a batch of points using subproduct-tree algorithm PR Summary #236: Pull request #213 synchronize by olympichek
2m 18s
2m 18s
Update Lean Project Update Lean Project #129: Scheduled
2m 6s master
master
2m 6s
NTT-based univariate multiplication (#174) Lint Style #610: Commit ff4f07c pushed by dhsorens
15s master
master
15s
NTT-based univariate multiplication (#174) Docs Integrity #223: Commit ff4f07c pushed by dhsorens
15s master
master
15s
NTT-based univariate multiplication (#174) Lean Action CI #948: Commit ff4f07c pushed by dhsorens
9m 1s master
master
9m 1s
NTT-based univariate multiplication Docs Integrity #222: Pull request #174 synchronize by erdkocak
8s erdkocak:master
erdkocak:master
8s
NTT-based univariate multiplication Lint Style #609: Pull request #174 synchronize by erdkocak
20s erdkocak:master
erdkocak:master
20s
NTT-based univariate multiplication PR Summary #235: Pull request #174 synchronize by erdkocak
2m 34s
2m 34s
NTT-based univariate multiplication Lean Action CI #947: Pull request #174 synchronize by erdkocak
8m 57s erdkocak:master
erdkocak:master
8m 57s
NTT-based univariate multiplication Lint Style #608: Pull request #174 synchronize by erdkocak
9s erdkocak:master
erdkocak:master
9s
NTT-based univariate multiplication Docs Integrity #221: Pull request #174 synchronize by erdkocak
10s erdkocak:master
erdkocak:master
10s
NTT-based univariate multiplication Lean Action CI #946: Pull request #174 synchronize by erdkocak
8m 59s erdkocak:master
erdkocak:master
8m 59s
NTT-based univariate multiplication PR Summary #234: Pull request #174 synchronize by erdkocak
2m 7s
2m 7s
NTT-based univariate multiplication Lint Style #607: Pull request #174 synchronize by erdkocak
14s erdkocak:master
erdkocak:master
14s
NTT-based univariate multiplication Lean Action CI #945: Pull request #174 synchronize by erdkocak
8m 2s erdkocak:master
erdkocak:master
8m 2s
NTT-based univariate multiplication PR Summary #233: Pull request #174 synchronize by erdkocak
2m 30s
2m 30s
NTT-based univariate multiplication Docs Integrity #220: Pull request #174 synchronize by erdkocak
18s erdkocak:master
erdkocak:master
18s
chore(review): improve AI-reviewer (mark 3 rules as preferred, scope … Lean Action CI #944: Commit 17345e2 pushed by dhsorens
8m 23s master
master
8m 23s