Skip to content

Actions: jscott3201/open-control-library

Actions

verify

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify.yml
206 workflow runs
206 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(routines): extract declaration compiler crate (#88) verify #181: Commit 9519a3a pushed by jscott3201
7m 43s main
main
7m 43s
refactor(routines): extract declaration compiler crate verify #180: Pull request #88 opened by jscott3201
7m 18s refactor/routine-compiler-crate
refactor/routine-compiler-crate
7m 18s
refactor(verify): catalog G36 declaration requirements (#87) verify #179: Commit 26c97ec pushed by jscott3201
2m 58s main
main
2m 58s
refactor(verify): catalog G36 declaration requirements verify #178: Pull request #87 opened by jscott3201
2m 38s refactor/typed-declaration-catalog
refactor/typed-declaration-catalog
2m 38s
refactor(verify): expose G36 declaration checker (#86) verify #177: Commit 4116840 pushed by jscott3201
1m 48s main
main
1m 48s
refactor(verify): expose G36 declaration checker verify #176: Pull request #86 opened by jscott3201
2m 26s feat/rust-declaration-core
feat/rust-declaration-core
2m 26s
feat(routines): project declaration requirements (#85) verify #175: Commit ad0f615 pushed by jscott3201
1m 21s main
main
1m 21s
feat(routines): project declaration requirements verify #174: Pull request #85 opened by jscott3201
1m 45s feat/declaration-requirement-projection
feat/declaration-requirement-projection
1m 45s
feat(routines): check G36 source declarations (#84) verify #173: Commit f5e1acd pushed by jscott3201
4m 19s main
main
4m 19s
feat(routines): check G36 source declarations verify #172: Pull request #84 opened by jscott3201
3m 3s feat/g36-declaration-evidence
feat/g36-declaration-evidence
3m 3s
feat(routines): bind scalar ABI to source claims (#83) verify #171: Commit 1c9559f pushed by jscott3201
1m 47s main
main
1m 47s
Bind scalar ABI rows to source claims verify #170: Pull request #83 opened by jscott3201
1m 22s feat/routine-bound-scalars
feat/routine-bound-scalars
1m 22s
feat(routines): anchor scalar source claims to inventory (#82) verify #169: Commit 21304e3 pushed by jscott3201
1m 43s main
main
1m 43s
Add inventory-anchored scalar source claims verify #168: Pull request #82 opened by jscott3201
1m 52s feat/routine-scalar-source-claims
feat/routine-scalar-source-claims
1m 52s
feat(routines): allocate stable scalar names (#81) verify #167: Commit f8e9894 pushed by jscott3201
1m 28s main
main
1m 28s
Allocate stable internal names for scalar routine rows verify #166: Pull request #81 opened by jscott3201
1m 39s feat/routine-scalar-name-allocation
feat/routine-scalar-name-allocation
1m 39s
feat(routines): map resolved enums into scalar ABI (#80) verify #165: Commit f575435 pushed by jscott3201
1m 32s main
main
1m 32s
Map resolved enums into scalar ABI verify #164: Pull request #80 opened by jscott3201
1m 39s feat/routine-enum-abi-mapping
feat/routine-enum-abi-mapping
1m 39s
feat(routines): add internal scalar ABI projection (#79) verify #163: Commit c8396e4 pushed by jscott3201
1m 19s main
main
1m 19s
Add internal scalar ABI projection verify #162: Pull request #79 opened by jscott3201
1m 31s feat/routine-scalar-abi-plan
feat/routine-scalar-abi-plan
1m 31s
feat(routines): add deterministic specialization resolver (#78) verify #161: Commit 47210d7 pushed by jscott3201
1m 29s main
main
1m 29s
Add deterministic routine specialization resolution verify #160: Pull request #78 opened by jscott3201
1m 26s feat/routine-specialization-resolution
feat/routine-specialization-resolution
1m 26s
feat(routines): add fixed-dimension member identity (#77) verify #159: Commit ec1324b pushed by jscott3201
1m 21s main
main
1m 21s
Add fixed-dimension member identity to routine interfaces verify #158: Pull request #77 opened by jscott3201
1m 20s feat/routine-dimension-member-identity
feat/routine-dimension-member-identity
1m 20s
feat(routines): validate semantic RDF with SHACL Core (#76) verify #157: Commit 2a3e9e1 pushed by jscott3201
1m 21s main
main
1m 21s