Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

Lint Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linting.yml
935 workflow runs
935 workflow runs

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
chore: migrate CompPoly to Lean v4.33.1 (#309) Lint Style #981: Commit a09455a pushed by quangvdao
12s main
main
12s
test(fields): extend Mersenne31 regression coverage Lint Style #980: Pull request #260 synchronize by adrienlacombe
Action required adrienlacombe:feat/pr257-mersenne31-tests
adrienlacombe:feat/pr257-mersenne31-tests
Action required
feat(fields): add fast Mersenne31 arithmetic Lint Style #979: Pull request #257 synchronize by varunthakore
Action required varunthakore:mersenne31
varunthakore:mersenne31
Action required
chore: migrate CompPoly to Lean v4.33.1 Lint Style #978: Pull request #309 opened by dtumad
10s dtumad:chore/v4.33.1
dtumad:chore/v4.33.1
10s
feat(fields): add fast Mersenne31 arithmetic Lint Style #977: Pull request #257 synchronize by varunthakore
-1s varunthakore:mersenne31
varunthakore:mersenne31
-1s
doc(RabinCertificate): clarify the cold-replay mechanism Lint Style #976: Pull request #308 synchronize by kobizk
8s zksecurity:docs/rabin-cold-replay-mechanism
zksecurity:docs/rabin-cold-replay-mechanism
8s
doc(RabinCertificate): clarify the cold-replay mechanism Lint Style #975: Pull request #308 synchronize by kobizk
2m 45s zksecurity:docs/rabin-cold-replay-mechanism
zksecurity:docs/rabin-cold-replay-mechanism
2m 45s
doc(RabinCertificate): clarify the cold-replay mechanism Lint Style #974: Pull request #308 opened by kobizk
13s zksecurity:docs/rabin-cold-replay-mechanism
zksecurity:docs/rabin-cold-replay-mechanism
13s
refactor: relocate and rename the Multivariate/Wheels.lean lemmas (… Lint Style #973: Commit ac87a1b pushed by alexanderlhicks
9s main
main
9s
refactor(Multivariate/Wheels): relocate and rename Lint Style #972: Pull request #305 synchronize by alexanderlhicks
11s BoltonBailey:lemma-cleanup-wheels
BoltonBailey:lemma-cleanup-wheels
11s
doc(RabinCertificate): correct the _of_card rationale and signature (… Lint Style #971: Commit 7480a69 pushed by alexanderlhicks
11s main
main
11s
doc(RabinCertificate): correct the _of_card rationale and signature Lint Style #970: Pull request #307 opened by alexanderlhicks
13s docs/rabin-of-card-rationale
docs/rabin-of-card-rationale
13s
feat: make KoalaBear Rabin irreducibility certificates re-checkable b… Lint Style #969: Commit 32a0c29 pushed by alexanderlhicks
11s main
main
11s
feat: make KoalaBear Rabin irreducibility certificates re-checkable by kernel replay Lint Style #968: Pull request #306 synchronize by kobizk
13s zksecurity:pr/rabin-replay-safe
zksecurity:pr/rabin-replay-safe
13s
feat: make KoalaBear Rabin irreducibility certificates re-checkable by kernel replay Lint Style #967: Pull request #306 opened by kobizk
Action required zksecurity:pr/rabin-replay-safe
zksecurity:pr/rabin-replay-safe
Action required
refactor(Multivariate/Wheels): relocate and rename Lint Style #966: Pull request #305 opened by BoltonBailey
7s BoltonBailey:lemma-cleanup-wheels
BoltonBailey:lemma-cleanup-wheels
7s
chore: update Lean and Mathlib to v4.33.0 (#304) Lint Style #965: Commit 75c0681 pushed by dhsorens
17s main
main
17s
chore: update Lean and Mathlib to v4.33.0 Lint Style #964: Pull request #304 synchronize by dhsorens
23s dhsorens/lean-v4.33.0
dhsorens/lean-v4.33.0
23s
chore: update Lean and Mathlib to v4.33.0 Lint Style #963: Pull request #304 opened by dhsorens
11s dhsorens/lean-v4.33.0
dhsorens/lean-v4.33.0
11s
feat(scripts): kernel-level axiom sweep with committed regression baseline Lint Style #962: Pull request #300 synchronize by dhsorens
9s alh/axiom-sweep
alh/axiom-sweep
9s
feat(scripts): kernel-level axiom sweep with committed regression baseline Lint Style #961: Pull request #300 synchronize by dhsorens
8s alh/axiom-sweep
alh/axiom-sweep
8s
feat(scripts): kernel-level axiom sweep with committed regression baseline Lint Style #960: Pull request #300 synchronize by dhsorens
10s alh/axiom-sweep
alh/axiom-sweep
10s
Updates available and ready to merge (#303) Lint Style #959: Commit 42b414a pushed by dhsorens
13s main
main
13s
Updates available and ready to merge Lint Style #958: Pull request #303 synchronize by dhsorens
12s auto-update-lean/patch
auto-update-lean/patch
12s
Updates available and ready to merge Lint Style #957: Pull request #303 opened by github-actions Bot
20s auto-update-lean/patch
auto-update-lean/patch
20s