Skip to content

Actions: PTO-ISA/normative_language

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 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
Merge pull request #6 from PTO-ISA/codex/pto-state-catalog-correction CI #13: Commit 5e3e6b5 pushed by zhoubot
2m 2s main
main
2m 2s
docs(pto): correct initial state catalog CI #12: Pull request #6 opened by zhoubot
2m 3s codex/pto-state-catalog-correction
codex/pto-state-catalog-correction
2m 3s
Merge pull request #5 from PTO-ISA/codex/pto-asl-state-graph CI #11: Commit ed35698 pushed by zhoubot
2m 15s main
main
2m 15s
feat: index PTO ASL unit and state graphs CI #10: Pull request #5 opened by zhoubot
1m 39s codex/pto-asl-state-graph
codex/pto-asl-state-graph
1m 39s
Merge pull request #4 from PTO-ISA/codex/pto-cross-project-conformance CI #9: Commit 9bd3de7 pushed by zhoubot
2m 5s main
main
2m 5s
Add cross-project PTO conformance impact workflow CI #8: Pull request #4 synchronize by zhoubot
1m 47s codex/pto-cross-project-conformance
codex/pto-cross-project-conformance
1m 47s
Add cross-project PTO conformance impact workflow CI #7: Pull request #4 opened by zhoubot
1m 37s codex/pto-cross-project-conformance
codex/pto-cross-project-conformance
1m 37s
Merge pull request #3 from PTO-ISA/codex/davincioo-markdown-compat CI #6: Commit e5675d2 pushed by zhoubot
2m 0s main
main
2m 0s
fix: compile DavinciOO legacy metadata CI #5: Pull request #3 opened by zhoubot
1m 33s codex/davincioo-markdown-compat
codex/davincioo-markdown-compat
1m 33s
Merge pull request #2 from PTO-ISA/codex/ndf-rust-compiler CI #4: Commit ceb217f pushed by zhoubot
2m 3s main
main
2m 3s
feat: ship NDF as a Rust knowledge compiler CI #3: Pull request #2 opened by zhoubot
1m 35s codex/ndf-rust-compiler
codex/ndf-rust-compiler
1m 35s
Merge pull request #1 from PTO-ISA/codex/ndf-compiler-implementation CI #2: Commit b0df8a0 pushed by zhoubot
16s main
main
16s
Build NDF knowledge compiler format 0.2 CI #1: Pull request #1 opened by zhoubot
21s codex/ndf-compiler-implementation
codex/ndf-compiler-implementation
21s