Skip to content

Actions: Verified-zkEVM/PolyFun

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,990 workflow runs
1,990 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
feat(realizability): generalize and pre-upstream the VCVio polytime machine layer Check Imports #232: Pull request #113 synchronize by dtumad
12s dtumad/implements-with
dtumad/implements-with
12s
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(realizability): generalize and pre-upstream the VCVio polytime machine layer Docs Integrity #231: Pull request #113 synchronize by dtumad
12s dtumad/implements-with
dtumad/implements-with
12s
feat(realizability): generalize and pre-upstream the VCVio polytime machine layer Lint Style #555: Pull request #113 synchronize by dtumad
2m 11s dtumad/implements-with
dtumad/implements-with
2m 11s
feat(interaction): plug factorization for the process model up to act… API Docs #8: Commit 4247ad7 pushed by dtumad
7m 43s main
main
7m 43s
feat(interaction): plug factorization for the process model up to act… Lint Style #554: Commit 4247ad7 pushed by dtumad
2m 29s main
main
2m 29s
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 Lint Style #553: Pull request #124 synchronize by dtumad
2m 18s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
2m 18s
feat(interaction): plug factorization for the process model up to activation equivalence Check Imports #231: Pull request #124 synchronize by dtumad
12s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
12s
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): plug factorization for the process model up to activation equivalence Docs Integrity #230: Pull request #124 synchronize by dtumad
13s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
13s
feat(interaction): allowed-systems sub-theories and relativized emula… API Docs #7: Commit 3d1ab90 pushed by dtumad
7m 55s main
main
7m 55s
feat(interaction): allowed-systems sub-theories and relativized emula… Lint Style #552: Commit 3d1ab90 pushed by dtumad
2m 11s main
main
2m 11s
feat(interaction): allowed-systems sub-theories and relativized emula… CI #335: Commit 3d1ab90 pushed by dtumad
5m 29s main
main
5m 29s
Design: let the observation relation carry the UC composition laws PR Review #133: Issue comment #122 (comment) created by dtumad
1s
1s
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): plug factorization for the process model up to activation equivalence Docs Integrity #229: Pull request #124 synchronize by dtumad
10s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
10s
feat(interaction): plug factorization for the process model up to activation equivalence Lint Style #551: Pull request #124 synchronize by dtumad
2m 25s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
2m 25s
feat(interaction): plug factorization for the process model up to activation equivalence Check Imports #230: Pull request #124 synchronize by dtumad
11s dtumad/uc-plug-factorization-bisim
dtumad/uc-plug-factorization-bisim
11s
feat(interaction): allowed-systems sub-theories and relativized emulation Docs Integrity #228: Pull request #130 synchronize by dtumad
12s dtumad/uc-subtheory
dtumad/uc-subtheory
12s
feat(interaction): allowed-systems sub-theories and relativized emulation Check Imports #229: Pull request #130 synchronize by dtumad
10s dtumad/uc-subtheory
dtumad/uc-subtheory
10s
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
feat(interaction): allowed-systems sub-theories and relativized emulation Lint Style #550: Pull request #130 synchronize by dtumad
2m 13s dtumad/uc-subtheory
dtumad/uc-subtheory
2m 13s
refactor(interaction): let the observation carry the UC factorization… Lint Style #549: Commit b1d5ba3 pushed by dtumad
2m 18s main
main
2m 18s
refactor(interaction): let the observation carry the UC factorization… API Docs #6: Commit b1d5ba3 pushed by dtumad
7m 25s main
main
7m 25s