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 #256: Scheduled
2m 31s main
main
2m 31s
style(Data/Polynomial): document the certificate bridge lemmas, drop blank lines in proofs PR Summary #712: Pull request #370 opened by alexanderlhicks
35s
35s
style(Data/Polynomial): document the certificate bridge lemmas, drop blank lines in proofs Docs Integrity #821: Pull request #370 opened by alexanderlhicks
8s style/proof-hygiene
style/proof-hygiene
8s
style(Data/Polynomial): document the certificate bridge lemmas, drop blank lines in proofs Lean Action CI #1547: Pull request #370 opened by alexanderlhicks
5m 22s style/proof-hygiene
style/proof-hygiene
5m 22s
style(Data/Polynomial): document the certificate bridge lemmas, drop blank lines in proofs Lint Style #1208: Pull request #370 opened by alexanderlhicks
8s style/proof-hygiene
style/proof-hygiene
8s
feat(fields): state every irreducibility criterion at a numeral field size Docs Integrity #820: Pull request #369 synchronize by alexanderlhicks
9s of-card-criteria
of-card-criteria
9s
feat(fields): state every irreducibility criterion at a numeral field size Lean Action CI #1546: Pull request #369 synchronize by alexanderlhicks
4m 45s of-card-criteria
of-card-criteria
4m 45s
feat(fields): state every irreducibility criterion at a numeral field size Lint Style #1207: Pull request #369 synchronize by alexanderlhicks
7s of-card-criteria
of-card-criteria
7s
feat(fields): state every irreducibility criterion at a numeral field size Check Imports #239: Pull request #369 synchronize by alexanderlhicks
6s of-card-criteria
of-card-criteria
6s
feat(fields): state every irreducibility criterion at a numeral field size PR Summary #711: Pull request #369 synchronize by alexanderlhicks
3m 16s
3m 16s
feat(fields): state every irreducibility criterion at a numeral field size Docs Integrity #819: Pull request #369 synchronize by alexanderlhicks
5m 52s of-card-criteria
of-card-criteria
5m 52s
feat(fields): state every irreducibility criterion at a numeral field size Lint Style #1206: Pull request #369 synchronize by alexanderlhicks
6m 4s of-card-criteria
of-card-criteria
6m 4s
feat(fields): state every irreducibility criterion at a numeral field size Lean Action CI #1545: Pull request #369 synchronize by alexanderlhicks
11m 19s of-card-criteria
of-card-criteria
11m 19s
feat(fields): state every irreducibility criterion at a numeral field size Check Imports #238: Pull request #369 synchronize by alexanderlhicks
6m 14s of-card-criteria
of-card-criteria
6m 14s
feat(fields): state every irreducibility criterion at a numeral field size PR Summary #710: Pull request #369 synchronize by alexanderlhicks
5m 30s
5m 30s
feat(fields): state every irreducibility criterion at a numeral field size Lean Action CI #1544: Pull request #369 opened by alexanderlhicks
5m 51s of-card-criteria
of-card-criteria
5m 51s
feat(fields): state every irreducibility criterion at a numeral field size Docs Integrity #818: Pull request #369 opened by alexanderlhicks
12s of-card-criteria
of-card-criteria
12s
feat(fields): state every irreducibility criterion at a numeral field size Lint Style #1205: Pull request #369 opened by alexanderlhicks
8s of-card-criteria
of-card-criteria
8s
feat(fields): state every irreducibility criterion at a numeral field size Check Imports #237: Pull request #369 opened by alexanderlhicks
6s of-card-criteria
of-card-criteria
6s
feat(fields): state every irreducibility criterion at a numeral field size PR Summary #709: Pull request #369 opened by alexanderlhicks
1m 32s
1m 32s
chore: bump Lean and Mathlib to v4.34.0 (#368) Lean Action CI #1543: Commit 7e3683b pushed by dhsorens
19m 1s main
main
19m 1s
chore: bump Lean and Mathlib to v4.34.0 (#368) Docs Integrity #817: Commit 7e3683b pushed by dhsorens
8s main
main
8s
chore: bump Lean and Mathlib to v4.34.0 (#368) Lean release tag and prebuilt oleans #16: Commit 7e3683b pushed by dhsorens
8m 41s main
main
8m 41s
chore: bump Lean and Mathlib to v4.34.0 (#368) Lint Style #1204: Commit 7e3683b pushed by dhsorens
9s main
main
9s
chore: bump Lean and Mathlib to v4.34.0 Lint Style #1203: Pull request #368 synchronize by dhsorens
9s chore/bump-lean-4.34.0
chore/bump-lean-4.34.0
9s