Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
667 workflow runs
667 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Proofs for typeclass instances of CPolynomial AI Code Review for Lean PRs #83: Issue comment #73 (comment) created by dhsorens
1s
1s
reverting the refactor Lean Action CI #294: Pull request #74 opened by dhsorens
2m 51s revert-72-dhsorens/canonical-refactor
revert-72-dhsorens/canonical-refactor
2m 51s
reverting the refactor Lint Style #118: Pull request #74 opened by dhsorens
11s revert-72-dhsorens/canonical-refactor
revert-72-dhsorens/canonical-refactor
11s
reverting the refactor PR Summary #128: Pull request #74 opened by dhsorens
2m 35s
2m 35s
Revert "Refactor: Basic => Raw / Canonical => Basic (#72)" Lean Action CI #293: Commit d7b82b6 pushed by dhsorens
2m 51s revert-72-dhsorens/canonical-refactor
revert-72-dhsorens/canonical-refactor
2m 51s
Update Lean Project Update Lean Project #32: Scheduled
1m 59s master
master
1m 59s
Proofs for typeclass instances of CPolynomial Lint Style #117: Pull request #73 opened by desmondcoles1
8s desmondcoles1:master
desmondcoles1:master
8s
Proofs for typeclass instances of CPolynomial Lean Action CI #292: Pull request #73 opened by desmondcoles1
2m 17s desmondcoles1:master
desmondcoles1:master
2m 17s
Proofs for typeclass instances of CPolynomial PR Summary #127: Pull request #73 opened by desmondcoles1
2m 9s
2m 9s
Refactor: Basic => Raw / Canonical => Basic (#72) Lean Action CI #291: Commit b057f33 pushed by dhsorens
3m 10s master
master
3m 10s
Refactor: Basic => Raw / Canonical => Basic (#72) Lint Style #116: Commit b057f33 pushed by dhsorens
9s master
master
9s
Refactor: Basic => Raw / Canonical => Basic AI Code Review for Lean PRs #82: Issue comment #72 (comment) created by dhsorens
2s
2s
Refactor: Basic => Raw / Canonical => Basic Lean Action CI #290: Pull request #72 synchronize by dhsorens
2m 30s dhsorens/canonical-refactor
dhsorens/canonical-refactor
2m 30s
Refactor: Basic => Raw / Canonical => Basic Lint Style #115: Pull request #72 synchronize by dhsorens
10s dhsorens/canonical-refactor
dhsorens/canonical-refactor
10s
Refactor: Basic => Raw / Canonical => Basic PR Summary #126: Pull request #72 synchronize by dhsorens
1m 37s
1m 37s
Merge branch 'master' into dhsorens/canonical-refactor Lean Action CI #289: Commit 7653200 pushed by dhsorens
1m 46s dhsorens/canonical-refactor
dhsorens/canonical-refactor
1m 46s
Refactor: Basic => Raw / Canonical => Basic PR Summary #125: Pull request #72 synchronize by dhsorens
2m 3s
2m 3s
import: import changes from PR 71 manually to avoid merge conflicts, … Lean Action CI #288: Commit c9196e8 pushed by dhsorens
2m 32s dhsorens/canonical-refactor
dhsorens/canonical-refactor
2m 32s
Added definitions for degree and natDegree (#71) Lean Action CI #287: Commit b8b383a pushed by dhsorens
3m 8s master
master
3m 8s
Added definitions for degree and natDegree (#71) Lint Style #114: Commit b8b383a pushed by dhsorens
10s master
master
10s
Update Lean Project Update Lean Project #31: Scheduled
1m 44s master
master
1m 44s
Refactor: Basic => Raw / Canonical => Basic AI Code Review for Lean PRs #81: Issue comment #72 (comment) created by quangvdao
1s
1s
Refactor: Basic => Raw / Canonical => Basic Lean Action CI #286: Pull request #72 synchronize by dhsorens
2m 50s dhsorens/canonical-refactor
dhsorens/canonical-refactor
2m 50s
Refactor: Basic => Raw / Canonical => Basic Lint Style #113: Pull request #72 synchronize by dhsorens
11s dhsorens/canonical-refactor
dhsorens/canonical-refactor
11s
Refactor: Basic => Raw / Canonical => Basic PR Summary #124: Pull request #72 synchronize by dhsorens
2m 10s
2m 10s