Skip to content

Actions: hyperpolymath/bqniser

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
80 workflow runs
80 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 #80: Commit c123bf9 pushed by hyperpolymath
3h 16m 49s main
main
3h 16m 49s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Governance #79: Pull request #42 opened by hyperpolymath
6m 53s fix/governance-gate-sweep
fix/governance-gate-sweep
6m 53s
security: re-pin secret scanner onto the real gitleaks gate (#41) Governance #78: Commit 41127b3 pushed by hyperpolymath
5m 14s main
main
5m 14s
Governance Governance #77: 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 #76: Commit 519ef12 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #75: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#39) Governance #74: Commit 7a1d509 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #73: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#38) Governance #72: Commit 16c7d09 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #71: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#37) Governance #70: Commit 6dc7951 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #69: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Governance Governance #68: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#36) Governance #67: Commit e752343 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #66: 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 #65: Commit d8ce701 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #64: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: map/each fusion law (bmap f ∘ bmap g = bmap (f∘g)) (#34) Governance #63: Commit dd8ea77 pushed by hyperpolymath
3m 45s main
main
3m 45s
ABI Layer 3: map/each fusion law (bmap f ∘ bmap g = bmap (f∘g)) Governance #62: Pull request #34 synchronize by hyperpolymath
25s claude/new-session-znxgm7
claude/new-session-znxgm7
25s
ABI Layer 2: prove array-rewrite semantics preservation (+´⌽ ⇒ +´) — … Governance #61: Commit f4d6a44 pushed by hyperpolymath
19s main
main
19s
ABI Layer 2: prove array-rewrite semantics preservation (+´⌽ ⇒ +´) — flagship Idris2 proof Governance #60: Pull request #33 opened by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#32) Governance #59: Commit 8fc1ddf pushed by hyperpolymath
18m 5s main
main
18m 5s
ci: refresh standards reusable pins to current HEAD (d7c2271) Governance #58: Pull request #32 opened by hyperpolymath
17m 59s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
17m 59s
P1: fix Zig FFI null-handle test under Zig 0.14.0 (#31) Governance #57: Commit a4a72a2 pushed by hyperpolymath
1m 12s main
main
1m 12s
P1: fix Zig FFI null-handle test under Zig 0.14.0 Governance #56: Pull request #31 opened by hyperpolymath
35s claude/new-session-1fphit
claude/new-session-1fphit
35s