Skip to content

Actions: hyperpolymath/oblibeniser

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
70 workflow runs
70 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): clear OSSF Scorecard startup_failure (#37) Governance #70: Commit 5b767aa 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) (#36) Governance #68: Commit 10a7bd7 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 (#35) Governance #66: Commit 756a0b2 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 (#34) Governance #63: Commit 069f62c 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 7c5e848 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: reversible operations form a group (modulo denotational … Governance #59: Commit a9d2af7 pushed by hyperpolymath
2m 52s main
main
2m 52s
ABI Layer 3: reversible operations form a group (modulo denotational equivalence) Governance #58: Pull request #32 synchronize by hyperpolymath
25s claude/new-session-znxgm7
claude/new-session-znxgm7
25s
ABI Layer 2: prove operation reversibility (round-trip law) — flagshi… Governance #57: Commit e921fd6 pushed by hyperpolymath
1m 33s main
main
1m 33s
ABI Layer 2: prove operation reversibility (round-trip law) — flagship Idris2 proof Governance #56: Pull request #31 opened by hyperpolymath
1m 27s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 27s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#30) Governance #55: Commit 2d43666 pushed by hyperpolymath
1h 36m 12s main
main
1h 36m 12s
ci: refresh standards reusable pins to current HEAD (d7c2271) Governance #54: Pull request #30 opened by hyperpolymath
1h 32m 24s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 32m 24s
P1: fix Zig FFI to build and match the Idris2 ABI (#29) Governance #53: Commit f42c879 pushed by hyperpolymath
2m 29s main
main
2m 29s
P1: fix Zig FFI to build and match the Idris2 ABI Governance #52: Pull request #29 opened by hyperpolymath
16s claude/new-session-1fphit
claude/new-session-1fphit
16s
Auto-install pinned Zig toolchain in setup + devcontainer (#28) Governance #51: Commit 74d25e3 pushed by hyperpolymath
10m 0s main
main
10m 0s
Auto-install pinned Zig toolchain in setup + devcontainer Governance #50: Pull request #28 opened by hyperpolymath
5m 21s claude/new-session-1fphit
claude/new-session-1fphit
5m 21s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Governance #49: Commit a676ed9 pushed by hyperpolymath
1m 14s main
main
1m 14s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Governance #48: Pull request #27 synchronize by hyperpolymath
14s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
14s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Governance #47: Pull request #27 opened by hyperpolymath
29s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
29s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#26) Governance #46: Commit 42575df pushed by hyperpolymath
2m 24s main
main
2m 24s