Skip to content

Actions: fraware/open-verification-kernel

Actions

Native Backends Tier 1b

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
native-backends-tier1b.yml
8 workflow runs
8 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
Gate optional native integration tests to tier-1 CI jobs. Native Backends Tier 1b #8: Commit 5cdf0ae pushed by fraware
2m 16s main
main
2m 16s
Skip native backend probes in main CI; run only in tier-1 workflow. Native Backends Tier 1b #7: Commit f9b0e30 pushed by fraware
2m 1s main
main
2m 1s
Fix CI lint and strict action dogfood; add PyPI install fallback. Native Backends Tier 1b #6: Commit 1f63820 pushed by fraware
2m 5s main
main
2m 5s
Close RC gaps with schema coverage, pilot metrics, and CBMC harness. Native Backends Tier 1b #5: Commit 4f5f118 pushed by fraware
2m 23s main
main
2m 23s
Fix parallel execution ordering and address release audit findings. Native Backends Tier 1b #4: Commit 6e2f1ce pushed by fraware
2m 14s main
main
2m 14s
Preserve manifest lane order during parallel verification Native Backends Tier 1b #3: Commit 3022c88 pushed by fraware
2m 17s main
main
2m 17s
Release v1.2.0 with adoption tooling and documentation updates. Native Backends Tier 1b #2: Commit ff894c4 pushed by fraware
2m 10s main
main
2m 10s
Complete OVK v1.1.0 vision forward plan: pilot kit, Cedar CI, repair … Native Backends Tier 1b #1: Commit 0be510d pushed by fraware
2m 36s main
main
2m 36s