Skip to content

Actions: Verified-zkEVM/PolyFun

Actions

Lint Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linting.yml
753 workflow runs
753 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
refactor(uc): drop MachineId and key momentary corruption by an abstract identity Lint Style #753: Pull request #194 opened by dtumad
2m 26s dtumad/uc-drop-machineid
dtumad/uc-drop-machineid
2m 26s
feat(uc): quotient open theories; the free model and the process models as instances Lint Style #752: Pull request #193 opened by dtumad
2m 9s dtumad/uc-quotient-theory
dtumad/uc-quotient-theory
2m 9s
feat(uc): sampler-level coherence shapes and the scheduled theory's laws Lint Style #751: Pull request #192 opened by dtumad
2m 28s dtumad/uc-sampler-coherence
dtumad/uc-sampler-coherence
2m 28s
feat(uc): coherence shapes for interleaving; the process model's laws as instances Lint Style #750: Pull request #191 opened by dtumad
2m 14s dtumad/uc-activation-coherence
dtumad/uc-activation-coherence
2m 14s
refactor(control): retire the do-stated monad law helpers Lint Style #749: Pull request #190 opened by dtumad
2m 17s lawful/retire-basic
lawful/retire-basic
2m 17s
feat(free): run vcgen over free programs on the canonical WP stack Lint Style #748: Pull request #189 opened by dtumad
3m 54s kernel/freem-vcgen
kernel/freem-vcgen
3m 54s
feat(control): cover the whole do fragment in every judgment, with loop rules Lint Style #747: Pull request #188 opened by dtumad
2m 11s kernel/structural-coverage
kernel/structural-coverage
2m 11s
feat(control): bridge the program-logic kernel to core's lattice-generic WP stack Lint Style #746: Pull request #187 opened by dtumad
2m 0s kernel/upstream-wp-instances
kernel/upstream-wp-instances
2m 0s
feat(tocslib): stage the free-monad API, loop transport, and order bridge Lint Style #745: Pull request #185 opened by dtumad
2m 0s tocslib/free-monad-slice
tocslib/free-monad-slice
2m 0s
chore(deps): bump Lean, Mathlib, and cslib to v4.34.0-rc2 Lint Style #744: Pull request #184 opened by dtumad
2m 3s bump/lean-v4.34.0-rc2
bump/lean-v4.34.0-rc2
2m 3s
feat(realizability): add cslib-backed P/poly certificates Lint Style #743: Pull request #179 synchronize by dtumad
1m 58s codex/cslib-ppoly-backend
codex/cslib-ppoly-backend
1m 58s
feat(tocslib): add polynomial-time single-tape toolkit (#178) Lint Style #742: Commit e4099b4 pushed by dtumad
2m 20s main
main
2m 20s
feat(tocslib): add polynomial-time single-tape toolkit Lint Style #741: Pull request #178 synchronize by dtumad
2m 12s codex/tocslib-ppoly
codex/tocslib-ppoly
2m 12s
feat(realizability): add cslib-backed P/poly certificates Lint Style #740: Pull request #179 synchronize by dtumad
2m 26s codex/cslib-ppoly-backend
codex/cslib-ppoly-backend
2m 26s
feat(uc): lift scheduled draws through factorization (#176) Lint Style #739: Commit 5a7413f pushed by dtumad
2m 51s main
main
2m 51s
feat(uc): add reassociation-stable scheduler model Lint Style #738: Pull request #174 synchronize by dtumad
2m 14s codex/uc-scheduler-frontier
codex/uc-scheduler-frontier
2m 14s
feat(uc): lift scheduled draws through factorization Lint Style #737: Pull request #176 synchronize by dtumad
2m 13s codex/uc-scheduler-factorization
codex/uc-scheduler-factorization
2m 13s
feat: add generic bounded interaction folds (#181) Lint Style #736: Commit 896da5f pushed by dtumad
2m 0s main
main
2m 0s
feat(realizability): add cslib-backed P/poly certificates Lint Style #735: Pull request #179 synchronize by dtumad
2m 11s codex/cslib-ppoly-backend
codex/cslib-ppoly-backend
2m 11s
feat(tocslib): add polynomial-time single-tape toolkit Lint Style #734: Pull request #178 synchronize by dtumad
3m 4s codex/tocslib-ppoly
codex/tocslib-ppoly
3m 4s
feat(tocslib): add polynomial-time single-tape toolkit Lint Style #733: Pull request #178 synchronize by dtumad
2m 17s codex/tocslib-ppoly
codex/tocslib-ppoly
2m 17s
feat(realizability): add cslib-backed P/poly certificates Lint Style #732: Pull request #179 synchronize by dtumad
2m 29s codex/cslib-ppoly-backend
codex/cslib-ppoly-backend
2m 29s
feat(uc): lift scheduled draws through factorization Lint Style #731: Pull request #176 synchronize by dtumad
2m 10s codex/uc-scheduler-factorization
codex/uc-scheduler-factorization
2m 10s
feat(uc): add reassociation-stable scheduler model Lint Style #730: Pull request #174 synchronize by dtumad
2m 15s codex/uc-scheduler-frontier
codex/uc-scheduler-frontier
2m 15s
feat(uc): lift scheduled draws through factorization Lint Style #729: Pull request #176 synchronize by dtumad
2m 16s codex/uc-scheduler-factorization
codex/uc-scheduler-factorization
2m 16s