Skip to content

Actions: hyperpolymath/affinescriptiser

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
177 workflow runs
177 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
Governance Governance #77: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#42) Governance #76: Commit 3c05860 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #75: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Governance Governance #74: 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 #73: Commit 65adbce pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #72: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Governance Governance #71: 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 #70: Commit e687c88 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
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Governance #68: Commit 5b37667 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #67: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: affine composition law over disjoint variable sets (#38) Governance #66: Commit befb22e pushed by hyperpolymath
29s main
main
29s
ABI Layer 3: affine composition law over disjoint variable sets Governance #65: Pull request #38 synchronize by hyperpolymath
37s claude/new-session-znxgm7
claude/new-session-znxgm7
37s
ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … Governance #64: Commit bd08c30 pushed by hyperpolymath
19s main
main
19s
ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 proof Governance #63: Pull request #37 opened by hyperpolymath
14s claude/new-session-znxgm7
claude/new-session-znxgm7
14s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) Governance #62: Commit cc37b35 pushed by hyperpolymath
3m 8s main
main
3m 8s
ci: refresh standards reusable pins to current HEAD (d7c2271) Governance #61: Pull request #36 opened by hyperpolymath
1m 25s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1m 25s
ci: add ABI↔FFI conformance gate (#35) Governance #60: Commit 6532bc9 pushed by hyperpolymath
1m 36s main
main
1m 36s
ci: add ABI↔FFI conformance gate Governance #59: Pull request #35 opened by hyperpolymath
19s claude/new-session-1fphit
claude/new-session-1fphit
19s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) Governance #58: Commit 703fd16 pushed by hyperpolymath
1m 53s main
main
1m 53s
Auto-install pinned Zig toolchain in setup + devcontainer Governance #57: Pull request #34 opened by hyperpolymath
21s claude/new-session-1fphit
claude/new-session-1fphit
21s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Governance #56: Commit 412ae57 pushed by hyperpolymath
3m 12s main
main
3m 12s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Governance #55: Pull request #33 synchronize by hyperpolymath
3m 7s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
3m 7s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Governance #54: Pull request #33 opened by hyperpolymath
40s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
40s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) Governance #53: Commit 2a34624 pushed by hyperpolymath
5m 4s main
main
5m 4s