Skip to content

Actions: hyperpolymath/a2mliser

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
89 workflow runs
89 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 (#47) Governance #89: Commit 0dc5770 pushed by hyperpolymath
1h 21m 22s main
main
1h 21m 22s
Sync local commits to main Governance #88: Pull request #47 opened by hyperpolymath
1h 20m 1s sync-local-updates-1784832495
sync-local-updates-1784832495
1h 20m 1s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Governance #87: Commit 01ceff9 pushed by hyperpolymath
3h 22m 46s main
main
3h 22m 46s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Governance #86: Pull request #46 opened by hyperpolymath
55s fix/governance-gate-sweep
fix/governance-gate-sweep
55s
security: re-pin secret scanner onto the real gitleaks gate (#45) Governance #85: Commit 0b044f8 pushed by hyperpolymath
2m 23s main
main
2m 23s
Governance Governance #84: opened by hyperpolymath
Startup failure security/real-secret-gate
security/real-secret-gate
Startup failure
fix(ci): grant secret-scanner reusable its requested job permissions … Governance #83: Commit e185099 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #82: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#43) Governance #81: Commit 9e7ae73 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #80: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#42) Governance #79: Commit d266710 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #78: 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 #77: Commit c2bdb0b pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #76: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Governance Governance #75: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#40) Governance #74: Commit 6ebff5a pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #73: 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 #72: Commit 2127e18 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #71: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: attestation determinism, idempotence + issue→verify roun… Governance #70: Commit 8b97dda pushed by hyperpolymath
31s main
main
31s
ABI Layer 3: attestation determinism, idempotence + issue→verify round-trip Governance #69: Pull request #38 synchronize by hyperpolymath
29s claude/new-session-znxgm7
claude/new-session-znxgm7
29s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — … Governance #68: Commit 8af3b8c pushed by hyperpolymath
17s main
main
17s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — flagship Idris2 proof Governance #67: Pull request #37 opened by hyperpolymath
13s claude/new-session-znxgm7
claude/new-session-znxgm7
13s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) Governance #66: Commit ccdc0d4 pushed by hyperpolymath
31s main
main
31s
ci: refresh standards reusable pins to current HEAD (d7c2271) Governance #65: Pull request #36 opened by hyperpolymath
18s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
18s