Skip to content

Actions: fraware/open-verification-kernel

Actions

Bench Badge

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench-badge.yml
128 workflow runs
128 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
Merge pull request #29 from fraware/docs/final-release-closure Bench Badge #128: Commit b9234a8 pushed by fraware
19s main
main
19s
Merge pull request #28 from fraware/fix/consumer-pin-artifact-upload Bench Badge #127: Commit 0a429f1 pushed by fraware
26s main
main
26s
Merge PR #27: fix release consumer workflow dispatch contract Bench Badge #126: Commit b8d734f pushed by fraware
33s main
main
33s
Merge PR #26: final RC status and ref-integrity closure Bench Badge #125: Commit 40fefb4 pushed by fraware
23s main
main
23s
Merge PR #23: final release closure for v1.3.0-rc.1 Bench Badge #124: Commit e19a68c pushed by fraware
22s main
main
22s
Merge pull request #22 from fraware/hardening/full-vision-2026-08-24 Bench Badge #123: Commit 5a50e43 pushed by fraware
30s main
main
30s
Merge pull request #14 from fraware/r2-engineering-program-2026-07-23 Bench Badge #122: Commit 8926eab pushed by fraware
21s main
main
21s
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 fresh deep audit for the latest control-plane push Bench Badge #119: Commit 1a6c4c9 pushed by fraware
23s main
main
23s
Add FormalPR-Holdout supply-chain security tests Bench Badge #118: Commit 761b89e pushed by fraware
16s main
main
16s
Pin and isolate FormalPR-Holdout evaluation assets Bench Badge #117: Commit f08b884 pushed by fraware
20s main
main
20s
Harden FormalPR-Holdout asset and harness execution Bench Badge #116: Commit 07b106a pushed by fraware
32s main
main
32s
Add backend worker environment isolation tests Bench Badge #115: Commit 9c326b8 pushed by fraware
17s main
main
17s
Enforce a real minimal backend worker environment Bench Badge #114: Commit 10bae89 pushed by fraware
16s main
main
16s
Cover CI-secrets material byte-size binding Bench Badge #113: Commit b972e8f pushed by fraware
18s main
main
18s
Fix CI-secrets material byte-size integrity Bench Badge #112: Commit a64191c pushed by fraware
25s main
main
25s
Add post-merge deep audit for v1.2.1 control plane Bench Badge #111: Commit 72f9364 pushed by fraware
20s main
main
20s
Add protected-base policy loading tests Bench Badge #110: Commit 5507de3 pushed by fraware
23s main
main
23s
Load verification policy from the protected base revision Bench Badge #109: Commit cdea62d pushed by fraware
21s main
main
21s
Add cache regime and authoritative routing tests Bench Badge #108: Commit 7f68f32 pushed by fraware
19s main
main
19s
Separate legacy and control-plane cache regimes Bench Badge #107: Commit c5573dc pushed by fraware
24s main
main
24s
Add material reference size regression tests Bench Badge #106: Commit e2b2006 pushed by fraware
17s main
main
17s
Bind CBMC material sizes to serialized payloads Bench Badge #105: Commit 5bd045a pushed by fraware
21s main
main
21s
Bind self-protection material sizes to serialized payloads Bench Badge #104: Commit a27b2b5 pushed by fraware
19s main
main
19s