Skip to content

Actions: fraware/open-verification-kernel

Actions

Native Backends Tier 1

Actions

Loading...
Loading

Show workflow options

Create status badge

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