Skip to content

Actions: hyperpolymath/nimiser

Actions

K9-SVC Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
k9-svc-validation.yml
131 workflow runs
131 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
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… K9-SVC Validation #131: Commit 5c3527f pushed by hyperpolymath
2h 55m 39s main
main
2h 55m 39s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump K9-SVC Validation #130: Pull request #45 opened by hyperpolymath
52m 18s fix/governance-gate-sweep
fix/governance-gate-sweep
52m 18s
security: re-pin secret scanner onto the real gitleaks gate (#44) K9-SVC Validation #129: Commit 2625666 pushed by hyperpolymath
Startup failure main
main
Startup failure
K9-SVC Validation K9-SVC Validation #128: opened by hyperpolymath
Startup failure security/real-secret-gate
security/real-secret-gate
Startup failure
ci: Secret Scanner caller must grant the reusable's job permissions (… K9-SVC Validation #127: Commit 8d8fdf3 pushed by hyperpolymath
Startup failure main
main
Startup failure
K9-SVC Validation K9-SVC Validation #126: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#42) K9-SVC Validation #125: Commit 1dfd6e5 pushed by hyperpolymath
Startup failure main
main
Startup failure
K9-SVC Validation K9-SVC Validation #124: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#41) K9-SVC Validation #123: Commit 1cbe5d3 pushed by hyperpolymath
Startup failure main
main
Startup failure
K9-SVC Validation K9-SVC Validation #122: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… K9-SVC Validation #121: Commit 35c90de pushed by hyperpolymath
Startup failure main
main
Startup failure
K9-SVC Validation K9-SVC Validation #120: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
K9-SVC Validation K9-SVC Validation #119: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#39) K9-SVC Validation #118: Commit 7fda0e9 pushed by hyperpolymath
Startup failure main
main
Startup failure
K9-SVC Validation K9-SVC Validation #117: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… K9-SVC Validation #116: Commit 8e0badc pushed by hyperpolymath
Startup failure main
main
Startup failure
K9-SVC Validation K9-SVC Validation #115: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: type-lowering injectivity + composition (two deeper code… K9-SVC Validation #114: Commit d6ec80c pushed by hyperpolymath
1m 10s main
main
1m 10s
ABI Layer 3: type-lowering injectivity + composition (two deeper codegen theorems) K9-SVC Validation #113: Pull request #37 synchronize by hyperpolymath
30s claude/new-session-znxgm7
claude/new-session-znxgm7
30s
abi(nimiser): prove C-binding signature preservation (Layer 2) (#36) K9-SVC Validation #112: Commit 5b2fada pushed by hyperpolymath
43s main
main
43s
ABI Layer 2: prove C-binding signature preservation — flagship Idris2 proof K9-SVC Validation #111: Pull request #36 opened by hyperpolymath
11s claude/new-session-znxgm7
claude/new-session-znxgm7
11s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) K9-SVC Validation #110: Commit b2598e7 pushed by hyperpolymath
1h 30m 31s main
main
1h 30m 31s
ci: refresh standards reusable pins to current HEAD (d7c2271) K9-SVC Validation #109: Pull request #35 opened by hyperpolymath
1h 30m 58s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 30m 58s
ci: add ABI↔FFI conformance gate (#34) K9-SVC Validation #108: Commit 02ed1dc pushed by hyperpolymath
52s main
main
52s
ci: add ABI↔FFI conformance gate K9-SVC Validation #107: Pull request #34 opened by hyperpolymath
13s claude/new-session-1fphit
claude/new-session-1fphit
13s