Skip to content

Actions: fraware/open-verification-kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
846 workflow runs
846 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
Native Backends Tier 2 Native Backends Tier 2 #7: Scheduled
48s main
main
48s
Pilot Dogfood Pilot Dogfood #7: Scheduled
28s main
main
28s
External Validation Matrix External Validation Matrix #7: Scheduled
31s main
main
31s
Land v1.3.0-rc.1 adoption-surface program (OVK-PR1–PR9) Repro baseline #1: Pull request #18 opened by fraware
1m 43s adoption-surface-v1.3.0-rc.1
adoption-surface-v1.3.0-rc.1
1m 43s
Land v1.3.0-rc.1 adoption-surface program (OVK-PR1–PR9) Native Backends Tier 1b #85: Pull request #18 opened by fraware
2m 22s adoption-surface-v1.3.0-rc.1
adoption-surface-v1.3.0-rc.1
2m 22s
Land v1.3.0-rc.1 adoption-surface program (OVK-PR1–PR9) CI #526: Pull request #18 opened by fraware
29s adoption-surface-v1.3.0-rc.1
adoption-surface-v1.3.0-rc.1
29s
Land v1.3.0-rc.1 adoption-surface program (OVK-PR1–PR9) Native Backends Tier 1 #88: Pull request #18 opened by fraware
2m 8s adoption-surface-v1.3.0-rc.1
adoption-surface-v1.3.0-rc.1
2m 8s
Verifier assurance programme (OVK-VA) Native Backends Tier 1 #87: Pull request #17 opened by fraware
2m 28s feat/verifier-assurance
feat/verifier-assurance
2m 28s
Verifier assurance programme (OVK-VA) Native Backends Tier 1b #84: Pull request #17 opened by fraware
2m 23s feat/verifier-assurance
feat/verifier-assurance
2m 23s
Verifier assurance programme (OVK-VA) CI #525: Pull request #17 opened by fraware
23s feat/verifier-assurance
feat/verifier-assurance
23s
PF-VA: pin ovk-basic-v0 verifier profile (pf-core-v0.7.0) CI #524: Pull request #16 opened by fraware
23s pf-va/pin-ovk-basic-v0-profile
pf-va/pin-ovk-basic-v0-profile
23s
Merge pull request #14 from fraware/r2-engineering-program-2026-07-23 Native Backends Tier 1 #86: Commit 8926eab pushed by fraware
2m 36s main
main
2m 36s
Merge pull request #14 from fraware/r2-engineering-program-2026-07-23 CI #523: Commit 8926eab pushed by fraware
22s main
main
22s
Merge pull request #14 from fraware/r2-engineering-program-2026-07-23 Bench Badge #122: Commit 8926eab pushed by fraware
21s main
main
21s
Merge pull request #14 from fraware/r2-engineering-program-2026-07-23 Native Backends Tier 1b #83: Commit 8926eab pushed by fraware
2m 31s main
main
2m 31s
R2 engineering program: trust-chain PRs, profiles, holdout, and rc.1 docs Native Backends Tier 1b #82: Pull request #14 synchronize by fraware
2m 13s r2-engineering-program-2026-07-23
r2-engineering-program-2026-07-23
2m 13s
R2 engineering program: trust-chain PRs, profiles, holdout, and rc.1 docs Native Backends Tier 1 #85: Pull request #14 synchronize by fraware
2m 45s r2-engineering-program-2026-07-23
r2-engineering-program-2026-07-23
2m 45s
R2 engineering program: trust-chain PRs, profiles, holdout, and rc.1 docs CI #522: Pull request #14 synchronize by fraware
23s r2-engineering-program-2026-07-23
r2-engineering-program-2026-07-23
23s
R2 engineering program: trust-chain PRs, profiles, holdout, and rc.1 docs Native Backends Tier 1 #84: Pull request #14 synchronize by fraware
2m 28s r2-engineering-program-2026-07-23
r2-engineering-program-2026-07-23
2m 28s
R2 engineering program: trust-chain PRs, profiles, holdout, and rc.1 docs CI #521: Pull request #14 synchronize by fraware
22s r2-engineering-program-2026-07-23
r2-engineering-program-2026-07-23
22s
R2 engineering program: trust-chain PRs, profiles, holdout, and rc.1 docs Native Backends Tier 1b #81: Pull request #14 synchronize by fraware
2m 2s r2-engineering-program-2026-07-23
r2-engineering-program-2026-07-23
2m 2s
Align release status with the latest control-plane audit CI #520: Commit efb3c02 pushed by fraware
23s main
main
23s
Align release status with the latest control-plane audit Bench Badge #121: Commit efb3c02 pushed by fraware
18s main
main
18s
Add standalone engineering program for completing the OVK vision Bench Badge #120: Commit 66997cd pushed by fraware
23s main
main
23s
Add standalone engineering program for completing the OVK vision CI #519: Commit 66997cd pushed by fraware
25s main
main
25s