Skip to content

Actions: hyperpolymath/k9iser

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
96 workflow runs
96 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
Sync local commits to main (#56) Governance #96: Commit 62bc105 pushed by hyperpolymath
1h 16m 35s main
main
1h 16m 35s
Sync local commits to main Governance #95: Pull request #56 opened by hyperpolymath
1h 15m 45s sync-local-updates-1784831915
sync-local-updates-1784831915
1h 15m 45s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Governance #94: Commit 6422d3e pushed by hyperpolymath
3h 2m 55s main
main
3h 2m 55s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Governance #93: Pull request #55 opened by hyperpolymath
40m 36s fix/governance-gate-sweep
fix/governance-gate-sweep
40m 36s
security: re-pin secret scanner onto the real gitleaks gate (#54) Governance #92: Commit 2087306 pushed by hyperpolymath
15m 6s main
main
15m 6s
Governance Governance #91: 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 (… Governance #90: Commit ef97034 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #89: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#52) Governance #88: Commit 17a2894 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #87: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#51) Governance #86: Commit 9b9f483 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #85: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Governance #84: Commit d0d7c0c pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #83: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Governance Governance #82: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#49) Governance #81: Commit e2f0d85 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #80: 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 (… Governance #79: Commit b9d4b0e pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #78: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: conjunction-of-contracts law (#47) Governance #77: Commit 62dc8d3 pushed by hyperpolymath
1m 20s main
main
1m 20s
ABI Layer 3: conjunction-of-contracts law Governance #76: Pull request #47 synchronize by hyperpolymath
28s claude/new-session-znxgm7
claude/new-session-znxgm7
28s
Add Layer 2 semantic proof: configs self-validate against K9 contract… Governance #75: Commit 7dddd86 pushed by hyperpolymath
1m 44s main
main
1m 44s
ABI Layer 2: prove K9 config-contract validation — flagship Idris2 proof Governance #74: Pull request #46 opened by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#45) Governance #73: Commit 3341266 pushed by hyperpolymath
1h 16m 46s main
main
1h 16m 46s
ci: refresh standards reusable pins to current HEAD (d7c2271) Governance #72: Pull request #45 opened by hyperpolymath
1h 15m 34s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 15m 34s