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 #111: Scheduled
1m 39s master
master
1m 39s
Update Lean Project Update Lean Project #110: Scheduled
1m 43s master
master
1m 43s
Update Lean Project Update Lean Project #109: Scheduled
1m 47s master
master
1m 47s
feat(bivariate): Add commutativity of bivariate evaluation Docs Integrity #146: Pull request #203 opened by ElijahVlasov
Action required NethermindEth:ElijahVlasov/bivariate-eval-lemma
NethermindEth:ElijahVlasov/bivariate-eval-lemma
Action required
feat(bivariate): Add commutativity of bivariate evaluation Lint Style #533: Pull request #203 opened by ElijahVlasov
Action required NethermindEth:ElijahVlasov/bivariate-eval-lemma
NethermindEth:ElijahVlasov/bivariate-eval-lemma
Action required
feat(bivariate): Add commutativity of bivariate evaluation Lean Action CI #871: Pull request #203 opened by ElijahVlasov
Action required NethermindEth:ElijahVlasov/bivariate-eval-lemma
NethermindEth:ElijahVlasov/bivariate-eval-lemma
Action required
feat(bivariate): Add commutativity of bivariate evaluation PR Review #204: Pull request #203 opened by ElijahVlasov
Action required NethermindEth:ElijahVlasov/bivariate-eval-lemma
NethermindEth:ElijahVlasov/bivariate-eval-lemma
Action required
feat(bivariate): Add commutativity of bivariate evaluation PR Summary #171: Pull request #203 opened by ElijahVlasov
1m 54s
1m 54s
refactor(multilinear): split transform equivalence proofs into TransformEquiv.lean Docs Integrity #145: Pull request #201 opened by klausnat
11s klausnat:split_basic_transformequiv
klausnat:split_basic_transformequiv
11s
refactor(multilinear): split transform equivalence proofs into TransformEquiv.lean PR Review #203: Pull request #201 opened by klausnat
1s klausnat:split_basic_transformequiv
klausnat:split_basic_transformequiv
1s
refactor(multilinear): split transform equivalence proofs into TransformEquiv.lean Lean Action CI #870: Pull request #201 opened by klausnat
6m 13s klausnat:split_basic_transformequiv
klausnat:split_basic_transformequiv
6m 13s
refactor(multilinear): split transform equivalence proofs into TransformEquiv.lean Lint Style #532: Pull request #201 opened by klausnat
8s klausnat:split_basic_transformequiv
klausnat:split_basic_transformequiv
8s
refactor(multilinear): split transform equivalence proofs into TransformEquiv.lean PR Summary #170: Pull request #201 opened by klausnat
2m 23s
2m 23s
Update Lean Project Update Lean Project #108: Scheduled
1m 39s master
master
1m 39s
feat(univariate): Horner's method implementation PR Summary #169: Pull request #199 synchronize by DimitriosMitsios
1m 42s
1m 42s
feat(univariate): Horner's method implementation Lean Action CI #869: Pull request #199 synchronize by DimitriosMitsios
5m 57s DimitriosMitsios:horner
DimitriosMitsios:horner
5m 57s
feat(univariate): Horner's method implementation Docs Integrity #144: Pull request #199 synchronize by DimitriosMitsios
9s DimitriosMitsios:horner
DimitriosMitsios:horner
9s
feat(univariate): Horner's method implementation Lint Style #531: Pull request #199 synchronize by DimitriosMitsios
9s DimitriosMitsios:horner
DimitriosMitsios:horner
9s
Update Lean Project Update Lean Project #107: Scheduled
1m 41s master
master
1m 41s
Update review.yml Lean Action CI #868: Commit d3064f6 pushed by alexanderlhicks
6m 2s master
master
6m 2s
Update review.yml Docs Integrity #143: Commit d3064f6 pushed by alexanderlhicks
12s master
master
12s
Update review.yml Lint Style #530: Commit d3064f6 pushed by alexanderlhicks
9s master
master
9s
Change AI provider and model in review workflow Docs Integrity #142: Commit 56a78d9 pushed by alexanderlhicks
8s master
master
8s
Change AI provider and model in review workflow Lint Style #529: Commit 56a78d9 pushed by alexanderlhicks
10s master
master
10s
Change AI provider and model in review workflow Lean Action CI #867: Commit 56a78d9 pushed by alexanderlhicks
5m 31s master
master
5m 31s