Skip to content

Actions: hyperpolymath/iseriser

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
136 workflow runs
136 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… Governance #136: Commit 5581786 pushed by hyperpolymath
3h 4m 40s main
main
3h 4m 40s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Governance #135: Pull request #83 opened by hyperpolymath
33m 56s fix/governance-gate-sweep
fix/governance-gate-sweep
33m 56s
security: re-pin secret scanner onto the real gitleaks gate (#82) Governance #134: Commit ad848dd pushed by hyperpolymath
14m 43s main
main
14m 43s
Governance Governance #133: 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 #132: Commit bcf7ad8 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #131: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#80) Governance #130: Commit fe437da pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #129: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#79) Governance #128: Commit eb6e962 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #127: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: fmt + clippy under stable 1.96 to make rust-ci green (follow-up) … Governance #126: Commit 356017a pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #125: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Governance Governance #124: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Governance #123: Commit 2ae2976 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #122: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Governance Governance #121: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#76) Governance #120: Commit e369b3c pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #119: 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 #118: Commit 2e9d19f pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #117: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: generation soundness (genScaffold always Conformant) + u… Governance #116: Commit 10b0a71 pushed by hyperpolymath
2m 44s main
main
2m 44s
ABI Layer 3: generation soundness (genScaffold always Conformant) + upward-closure Governance #115: Pull request #74 synchronize by hyperpolymath
30s claude/new-session-znxgm7
claude/new-session-znxgm7
30s
feat(abi): prove Conformant scaffold property (Layer 2 Semantics) (#73) Governance #114: Commit 9d5e5d8 pushed by hyperpolymath
1m 20s main
main
1m 20s
ABI Layer 2: prove scaffold conformance property — flagship Idris2 proof Governance #113: Pull request #73 opened by hyperpolymath
25s claude/new-session-znxgm7
claude/new-session-znxgm7
25s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#72) Governance #112: Commit 024dbbd pushed by hyperpolymath
1h 12m 18s main
main
1h 12m 18s