Skip to content

Actions: Verified-zkEVM/PolyFun

Actions

Docs Integrity

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs-integrity.yml
222 workflow runs
222 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
feat: expose the public PFunctor module surface Docs Integrity #223: Pull request #114 synchronize by quangvdao
11s refactor/pfunctor-module-surface
refactor/pfunctor-module-surface
11s
feat(scripts): kernel-level axiom sweep with committed regression baseline Docs Integrity #222: Pull request #127 synchronize by quangvdao
11s alh/axiom-sweep
alh/axiom-sweep
11s
refactor(interaction): let the observation carry the UC factorization laws Docs Integrity #221: Pull request #121 synchronize by quangvdao
14s dtumad/uc-observation-factorization
dtumad/uc-observation-factorization
14s
Docs Integrity Docs Integrity #220: Manually run by quangvdao
19s dtumad/uc-subtheory
dtumad/uc-subtheory
19s
feat(interaction): plug factorization for the process model up to activation equivalence Docs Integrity #219: Pull request #124 synchronize by quangvdao
9s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
9s
feat(scripts): kernel-level axiom sweep with committed regression baseline Docs Integrity #218: Pull request #127 synchronize by quangvdao
11s alh/axiom-sweep
alh/axiom-sweep
11s
refactor(interaction): let the observation carry the UC factorization laws Docs Integrity #217: Pull request #121 synchronize by quangvdao
12s dtumad/uc-observation-factorization
dtumad/uc-observation-factorization
12s
feat: expose the public PFunctor module surface Docs Integrity #216: Pull request #114 synchronize by quangvdao
16s refactor/pfunctor-module-surface
refactor/pfunctor-module-surface
16s
refactor: expose operation-first ITree carrier Docs Integrity #215: Pull request #131 opened by dtumad
18s refactor/itree-sum-carrier
refactor/itree-sum-carrier
18s
refactor: complete the Lean 4.33 transparency conversion Docs Integrity #214: Pull request #129 opened by dtumad
11s agent/bump-v4.33.0-transparency
agent/bump-v4.33.0-transparency
11s
feat: expose the public PFunctor module surface Docs Integrity #213: Pull request #114 synchronize by quangvdao
8s refactor/pfunctor-module-surface
refactor/pfunctor-module-surface
8s
feat(interaction): plug factorization for the process model up to activation equivalence Docs Integrity #212: Pull request #124 synchronize by quangvdao
8s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
8s
refactor(interaction): let the observation carry the UC factorization laws Docs Integrity #211: Pull request #121 synchronize by quangvdao
12s dtumad/uc-observation-factorization
dtumad/uc-observation-factorization
12s
feat(scripts): kernel-level axiom sweep with committed regression baseline Docs Integrity #210: Pull request #127 synchronize by quangvdao
13s alh/axiom-sweep
alh/axiom-sweep
13s
Bump Lean to v4.33.0 Docs Integrity #209: Pull request #128 synchronize by quangvdao
7s agent/bump-v4.33.0
agent/bump-v4.33.0
7s
Bump Lean to v4.33.0 Docs Integrity #208: Pull request #128 synchronize by quangvdao
8s agent/bump-v4.33.0
agent/bump-v4.33.0
8s
Bump Lean to v4.33.0 Docs Integrity #207: Pull request #128 opened by quangvdao
18s agent/bump-v4.33.0
agent/bump-v4.33.0
18s
feat(scripts): kernel-level axiom sweep with committed regression baseline Docs Integrity #206: Pull request #127 opened by alexanderlhicks
18s alh/axiom-sweep
alh/axiom-sweep
18s
chore(repository): improve documentation and CI Docs Integrity #205: Pull request #126 opened by quangvdao
11s chore/repository-improvements
chore/repository-improvements
11s
refactor(interaction): let the observation carry the UC factorization laws Docs Integrity #204: Pull request #121 opened by dtumad
11s dtumad/uc-observation-factorization
dtumad/uc-observation-factorization
11s
ci(dependencies): remove automatic updater Docs Integrity #203: Pull request #116 synchronize by quangvdao
7s ci/remove-auto-updater
ci/remove-auto-updater
7s
ci(dependencies): remove automatic updater Docs Integrity #202: Pull request #116 opened by quangvdao
14s ci/remove-auto-updater
ci/remove-auto-updater
14s
feat: expose the public PFunctor module surface Docs Integrity #201: Pull request #114 opened by dtumad
9s refactor/pfunctor-module-surface
refactor/pfunctor-module-surface
9s
feat(realizability): generalize and pre-upstream the VCVio polytime machine layer Docs Integrity #200: Pull request #113 opened by dtumad
13s dtumad/implements-with
dtumad/implements-with
13s
chore: update mathlib/cslib dependency Docs Integrity #199: Pull request #112 opened by dtumad
15s dtumad/dep-4-32
dtumad/dep-4-32
15s