Skip to content

Actions: fraware/open-verification-kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
852 workflow runs
852 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 #9: Scheduled
1m 0s main
main
1m 0s
Pilot Dogfood Pilot Dogfood #9: Scheduled
27s main
main
27s
External Validation Matrix External Validation Matrix #9: Scheduled
31s main
main
31s
Native Backends Tier 2 Native Backends Tier 2 #8: Scheduled
1m 5s main
main
1m 5s
Pilot Dogfood Pilot Dogfood #8: Scheduled
33s main
main
33s
External Validation Matrix External Validation Matrix #8: Scheduled
44s main
main
44s
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