Skip to content

Actions: hyperpolymath/atsiser

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
96 workflow runs
96 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
chore(deps): bump regex from 1.12.3 to 1.13.0 (#52) Governance #96: Commit 67e4865 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #95: opened by dependabot Bot
Startup failure dependabot/cargo/regex-1.13.0
dependabot/cargo/regex-1.13.0
Startup failure
ci: Secret Scanner caller must grant the reusable's job permissions (… Governance #94: Commit 67aed16 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #93: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#50) Governance #92: Commit 34c9ee1 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #91: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#49) Governance #90: Commit 1176671 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #89: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#48) Governance #88: Commit 2656f00 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #87: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Governance Governance #86: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#47) Governance #85: Commit e65ee21 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #84: 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 #83: Commit 87aad80 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #82: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: transition soundness of linear free (state + address p… Governance #81: Commit 38ac343 pushed by hyperpolymath
19s main
main
19s
ABI Layer 3: transition soundness of linear free (state + address preservation) Governance #80: Pull request #45 synchronize by hyperpolymath
29s claude/new-session-znxgm7
claude/new-session-znxgm7
29s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/do… Governance #79: Commit 4ad7cb3 pushed by hyperpolymath
26s main
main
26s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof Governance #78: Pull request #44 opened by hyperpolymath
18s claude/new-session-znxgm7
claude/new-session-znxgm7
18s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#43) Governance #77: Commit 04b3009 pushed by hyperpolymath
6m 12s main
main
6m 12s
ci: refresh standards reusable pins to current HEAD (d7c2271) Governance #76: Pull request #43 opened by hyperpolymath
5m 22s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
5m 22s
P1: implement real Zig FFI matching the Idris2 ABI (#42) Governance #75: Commit 458701d pushed by hyperpolymath
1m 28s main
main
1m 28s
P1: implement real Zig FFI matching the Idris2 ABI Governance #74: Pull request #42 opened by hyperpolymath
36s claude/new-session-1fphit
claude/new-session-1fphit
36s
Auto-install pinned Zig toolchain in setup + devcontainer (#41) Governance #73: Commit 6fe9694 pushed by hyperpolymath
2m 20s main
main
2m 20s
Auto-install pinned Zig toolchain in setup + devcontainer Governance #72: Pull request #41 opened by hyperpolymath
24s claude/new-session-1fphit
claude/new-session-1fphit
24s