Skip to content

Actions: hyperpolymath/verisimiser

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
148 workflow runs
148 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 #148: Commit 1e39e14 pushed by hyperpolymath
2h 44m 35s main
main
2h 44m 35s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Governance #147: Pull request #184 opened by hyperpolymath
1h 58m 44s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 58m 44s
security: re-pin secret scanner onto the real gitleaks gate (#183) Governance #146: Commit 5a9500f pushed by hyperpolymath
35m 3s main
main
35m 3s
security: re-pin secret scanner onto the real gitleaks gate Governance #145: Pull request #183 opened by hyperpolymath
40m 11s security/real-secret-gate
security/real-secret-gate
40m 11s
Governance Governance #144: Manually run by hyperpolymath
1m 13s main
main
1m 13s
fix(ci): clear OSSF Scorecard startup_failure (#181) Governance #143: Commit 3398da0 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #142: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#180) Governance #141: Commit 2956930 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #140: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
fix(soundness): FFI octad ops fail loudly instead of reporting false … Governance #139: Commit 696c495 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #138: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#178) Governance #137: Commit ce26ae4 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #136: 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 #135: Commit 0d2e8e5 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #134: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: compositional sidecar isolation (write-effect monoid hom… Governance #133: Commit 3f4675c pushed by hyperpolymath
28s main
main
28s
ABI Layer 3: compositional sidecar isolation (write-effect monoid homomorphism) Governance #132: Pull request #176 synchronize by hyperpolymath
22s claude/new-session-znxgm7
claude/new-session-znxgm7
22s
fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate (#175) Governance #131: Commit 77f6eb7 pushed by hyperpolymath
19s main
main
19s
fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate Governance #130: Pull request #175 opened by hyperpolymath
15s claude/abi-ffi-gate-julia-pin
claude/abi-ffi-gate-julia-pin
15s
chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python)… Governance #129: Commit dd49dd3 pushed by hyperpolymath
28s main
main
28s
chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python) Governance #128: Pull request #174 opened by hyperpolymath
16s claude/abi-ffi-gate-julia
claude/abi-ffi-gate-julia
16s
feat(abi): prove hash-chain integrity, version ordering & lineage acy… Governance #127: Commit b53a4c8 pushed by hyperpolymath
1m 52s main
main
1m 52s
feat(abi): prove hash-chain integrity, version ordering & lineage acyclicity (Idris2) Governance #126: Pull request #173 opened by hyperpolymath
13s claude/verisimiser-abi-proofs
claude/verisimiser-abi-proofs
13s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + … Governance #125: Commit 5c1c44c pushed by hyperpolymath
15s main
main
15s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + CC-BY-SA-4.0 Governance #124: Pull request #172 opened by hyperpolymath
18s claude/resolve-pr-167-jeczsh
claude/resolve-pr-167-jeczsh
18s