Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,543 workflow runs
1,543 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor(binary-tower): rewrite towerAlgebraMap using Fin.dfoldl AI Code Review for Lean PRs #182: Issue comment #141 (comment) created by erdkocak
2s
2s
refactor(binary-tower): rewrite towerAlgebraMap using Fin.dfoldl Lint Style #328: Pull request #141 opened by erdkocak
14s erdkocak:master
erdkocak:master
14s
refactor(binary-tower): rewrite towerAlgebraMap using Fin.dfoldl Lean Action CI #643: Pull request #141 opened by erdkocak
3m 4s erdkocak:master
erdkocak:master
3m 4s
refactor(binary-tower): rewrite towerAlgebraMap using Fin.dfoldl PR Summary #320: Pull request #141 opened by erdkocak
2m 26s
2m 26s
Update Lean Project Update Lean Project #59: Scheduled
1m 45s master
master
1m 45s
Migrate towerAlgebraMap recursion to Fin.dfoldl AI Code Review for Lean PRs #181: Issue comment #130 (comment) created by erdkocak
1s
1s
Update Lean Project Update Lean Project #58: Scheduled
1m 51s master
master
1m 51s
Reducing polynomial evaluation in a theorem AI Code Review for Lean PRs #180: Issue comment #140 (comment) created by tomaz1502
1s
1s
Issue 55 - CommRing instance for CMvPolynomial, resolution of circular dependency AI Code Review for Lean PRs #179: Issue comment #119 (comment) created by DimitriosMitsios
1s
1s
Implement Algebra instance for CMvPolynomial (#91) PR Summary #319: Pull request #139 opened by eliasjudin
2m 59s
2m 59s
Implement Algebra instance for CMvPolynomial (#91) Lint Style #327: Pull request #139 opened by eliasjudin
12s eliasjudin:phase1-91-algebra-module
eliasjudin:phase1-91-algebra-module
12s
Implement Algebra instance for CMvPolynomial (#91) Lean Action CI #642: Pull request #139 opened by eliasjudin
2m 12s eliasjudin:phase1-91-algebra-module
eliasjudin:phase1-91-algebra-module
2m 12s
Add a test suite (#128) Lint Style #326: Commit f3417f1 pushed by dhsorens
9s master
master
9s
Add a test suite (#128) Lean Action CI #641: Commit f3417f1 pushed by dhsorens
3m 35s master
master
3m 35s
Add a test suite AI Code Review for Lean PRs #178: Issue comment #128 (comment) created by dhsorens
2s
2s
refactor on sum range shift proof (#135) Lint Style #325: Commit 459c520 pushed by dhsorens
8s master
master
8s
refactor on sum range shift proof (#135) Lean Action CI #640: Commit 459c520 pushed by dhsorens
6m 24s master
master
6m 24s
Add a test suite Lean Action CI #639: Pull request #128 synchronize by dhsorens
6m 48s dhsorens/test-suite
dhsorens/test-suite
6m 48s
Add a test suite Lint Style #324: Pull request #128 synchronize by dhsorens
8s dhsorens/test-suite
dhsorens/test-suite
8s
Add a test suite PR Summary #318: Pull request #128 synchronize by dhsorens
3m 10s
3m 10s
fix: warning about native_decide Lean Action CI #638: Commit 7982948 pushed by dhsorens
6m 44s dhsorens/test-suite
dhsorens/test-suite
6m 44s
Add finSuccEquiv and optionEquivLeft for CMvPolynomial Lean Action CI #637: Pull request #137 synchronize by eliasjudin
1m 43s eliasjudin:phase1-93-finsucc-option
eliasjudin:phase1-93-finsucc-option
1m 43s
Add finSuccEquiv and optionEquivLeft for CMvPolynomial Lint Style #323: Pull request #137 synchronize by eliasjudin
10s eliasjudin:phase1-93-finsucc-option
eliasjudin:phase1-93-finsucc-option
10s
Add finSuccEquiv and optionEquivLeft for CMvPolynomial PR Summary #317: Pull request #137 synchronize by eliasjudin
2m 34s
2m 34s
Implement CommRing instance for CMvPolynomial Lint Style #322: Pull request #138 opened by eliasjudin
9s eliasjudin:phase1-55-commring-salvage
eliasjudin:phase1-55-commring-salvage
9s