Skip to content

Actions: Verified-zkEVM/PolyFun

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
337 workflow runs
337 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(realizability): generalize and pre-upstream the VCVio polytime machine layer CI #338: Pull request #113 synchronize by dtumad
5m 22s dtumad/implements-with
dtumad/implements-with
5m 22s
feat(interaction): plug factorization for the process model up to act… CI #337: Commit 4247ad7 pushed by dtumad
5m 35s main
main
5m 35s
feat(interaction): plug factorization for the process model up to activation equivalence CI #336: Pull request #124 synchronize by dtumad
5m 21s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
5m 21s
feat(interaction): allowed-systems sub-theories and relativized emula… CI #335: Commit 3d1ab90 pushed by dtumad
5m 29s main
main
5m 29s
feat(interaction): plug factorization for the process model up to activation equivalence CI #334: Pull request #124 synchronize by dtumad
5m 16s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
5m 16s
feat(interaction): allowed-systems sub-theories and relativized emulation CI #333: Pull request #130 synchronize by dtumad
5m 24s dtumad/uc-subtheory
dtumad/uc-subtheory
5m 24s
refactor(interaction): let the observation carry the UC factorization… CI #332: Commit b1d5ba3 pushed by dtumad
5m 14s main
main
5m 14s
refactor(interaction): let the observation carry the UC factorization laws CI #331: Pull request #121 synchronize by dtumad
4m 50s dtumad/uc-observation-factorization
dtumad/uc-observation-factorization
4m 50s
feat(interaction): plug factorization for the process model up to activation equivalence CI #330: Pull request #124 synchronize by dtumad
5m 14s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
5m 14s
feat: expose the public PFunctor module surface (#114) CI #329: Commit ac8abe8 pushed by dtumad
5m 36s main
main
5m 36s
refactor(interaction): let the observation carry the UC factorization laws CI #328: Pull request #121 synchronize by dtumad
5m 20s dtumad/uc-observation-factorization
dtumad/uc-observation-factorization
5m 20s
feat: expose the public PFunctor module surface CI #327: Pull request #114 synchronize by dtumad
4m 44s refactor/pfunctor-module-surface
refactor/pfunctor-module-surface
4m 44s
feat(scripts): kernel-level axiom sweep with committed regression bas… CI #326: Commit a984cee pushed by dtumad
4m 53s main
main
4m 53s
feat: expose the public PFunctor module surface CI #325: Pull request #114 synchronize by quangvdao
4m 50s refactor/pfunctor-module-surface
refactor/pfunctor-module-surface
4m 50s
feat(scripts): kernel-level axiom sweep with committed regression baseline CI #324: Pull request #127 synchronize by quangvdao
5m 5s alh/axiom-sweep
alh/axiom-sweep
5m 5s
refactor(interaction): let the observation carry the UC factorization laws CI #323: Pull request #121 synchronize by quangvdao
4m 55s dtumad/uc-observation-factorization
dtumad/uc-observation-factorization
4m 55s
CI CI #322: Manually run by quangvdao
5m 1s dtumad/uc-subtheory
dtumad/uc-subtheory
5m 1s
feat(interaction): plug factorization for the process model up to activation equivalence CI #321: Pull request #124 synchronize by quangvdao
5m 10s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
5m 10s
feat(scripts): kernel-level axiom sweep with committed regression baseline CI #320: Pull request #127 synchronize by quangvdao
5m 7s alh/axiom-sweep
alh/axiom-sweep
5m 7s
refactor(interaction): let the observation carry the UC factorization laws CI #319: Pull request #121 synchronize by quangvdao
5m 9s dtumad/uc-observation-factorization
dtumad/uc-observation-factorization
5m 9s
feat: expose the public PFunctor module surface CI #318: Pull request #114 synchronize by quangvdao
5m 14s refactor/pfunctor-module-surface
refactor/pfunctor-module-surface
5m 14s
refactor: expose operation-first ITree carrier CI #317: Pull request #131 opened by dtumad
4m 51s refactor/itree-sum-carrier
refactor/itree-sum-carrier
4m 51s
refactor: complete the Lean 4.33 transparency conversion (#129) CI #316: Commit 103c516 pushed by quangvdao
5m 9s main
main
5m 9s
refactor: complete the Lean 4.33 transparency conversion CI #315: Pull request #129 opened by dtumad
5m 9s agent/bump-v4.33.0-transparency
agent/bump-v4.33.0-transparency
5m 9s
feat: expose the public PFunctor module surface CI #314: Pull request #114 synchronize by quangvdao
2m 25s refactor/pfunctor-module-surface
refactor/pfunctor-module-surface
2m 25s