Skip to content

Actions: hyperpolymath/eclexiaiser

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
72 workflow runs
72 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
ci: Secret Scanner caller must grant the reusable's job permissions (… Governance #72: Commit 4684a5d pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #71: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#38) Governance #70: Commit af6a973 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #69: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#37) Governance #68: Commit 30cd1df pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #67: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#36) Governance #66: Commit b43c429 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #65: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Governance Governance #64: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#35) Governance #63: Commit fa6b6a0 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #62: 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 #61: Commit d55fbc6 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #60: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: monotonicity of cost accounting + downward-closed budget… Governance #59: Commit 7274b8f pushed by hyperpolymath
1m 15s main
main
1m 15s
ABI Layer 3: monotonicity of cost accounting + downward-closed budget Governance #58: Pull request #33 synchronize by hyperpolymath
22s claude/new-session-znxgm7
claude/new-session-znxgm7
22s
ABI Layer 2: prove cost conservation (additivity) + budget compliance… Governance #57: Commit b67f59e pushed by hyperpolymath
24s main
main
24s
ABI Layer 2: prove cost conservation (additivity) + budget compliance — flagship Idris2 proof Governance #56: Pull request #32 opened by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#31) Governance #55: Commit b1d4db5 pushed by hyperpolymath
42m 46s main
main
42m 46s
ci: refresh standards reusable pins to current HEAD (d7c2271) Governance #54: Pull request #31 opened by hyperpolymath
41m 34s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
41m 34s
P1: implement real Zig FFI matching the Idris2 ABI (#30) Governance #53: Commit ce8cdc7 pushed by hyperpolymath
16s main
main
16s
P1: implement real Zig FFI matching the Idris2 ABI Governance #52: Pull request #30 opened by hyperpolymath
19s claude/new-session-1fphit
claude/new-session-1fphit
19s
Auto-install pinned Zig toolchain in setup + devcontainer (#29) Governance #51: Commit 890972d pushed by hyperpolymath
5m 51s main
main
5m 51s
Auto-install pinned Zig toolchain in setup + devcontainer Governance #50: Pull request #29 opened by hyperpolymath
52s claude/new-session-1fphit
claude/new-session-1fphit
52s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Governance #49: Commit a2ed81a pushed by hyperpolymath
45s main
main
45s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Governance #48: Pull request #28 synchronize by hyperpolymath
17s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
17s