Skip to content

Actions: hyperpolymath/ponyiser

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
81 workflow runs
81 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(codeowners): substitute the un-instantiated {{OWNER}} placeholder… Mirror to Git Forges #81: Commit cdb2034 pushed by hyperpolymath
8s main
main
8s
ci: vendor validation scripts and remove remote action pins (#47) Mirror to Git Forges #80: Commit 6260459 pushed by hyperpolymath
1s main
main
1s
fix(ci): re-point validate-action references at the ecosystem repos (… Mirror to Git Forges #79: Commit 8671169 pushed by hyperpolymath
2s main
main
2s
fix(ci): repair dogfood-gate.yml — the workflow has never run (#45) Mirror to Git Forges #78: Commit 769248b pushed by hyperpolymath
1s main
main
1s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Mirror to Git Forges #77: Commit 715595b pushed by hyperpolymath
8s main
main
8s
security: re-pin secret scanner onto the real gitleaks gate (#43) Mirror to Git Forges #76: Commit 551671a pushed by hyperpolymath
1s main
main
1s
ci: Secret Scanner caller must grant the reusable's job permissions (… Mirror to Git Forges #75: Commit 6656efe pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#41) Mirror to Git Forges #74: Commit 0aec31a pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#40) Mirror to Git Forges #73: Commit 28091c5 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Mirror to Git Forges #72: Commit 015295b pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#38) Mirror to Git Forges #71: Commit 66f3eb5 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Mirror to Git Forges #70: Commit 680950d pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: immutable-aliasing soundness (read-compatibility reflexi… Mirror to Git Forges #69: Commit bf22b35 pushed by hyperpolymath
1s main
main
1s
abi: prove aliasing-compatibility soundness (Ponyiser.ABI.Semantics) … Mirror to Git Forges #68: Commit 3eabf5a pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#34) Mirror to Git Forges #67: Commit cdc772c pushed by hyperpolymath
1s main
main
1s
ci: add ABI↔FFI conformance gate (#33) Mirror to Git Forges #66: Commit 886b81e pushed by hyperpolymath
1s main
main
1s
Auto-install pinned Zig toolchain in setup + devcontainer (#32) Mirror to Git Forges #65: Commit 2571d1d pushed by hyperpolymath
1s main
main
1s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Mirror to Git Forges #64: Commit 03baf7c pushed by hyperpolymath
2s main
main
2s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#30) Mirror to Git Forges #63: Commit 38d8f2e pushed by hyperpolymath
1s main
main
1s
Claude/iseriser proofs review rtdcwb (#29) Mirror to Git Forges #62: Commit 894fd82 pushed by hyperpolymath
1s main
main
1s
chore(ci): add dormant push-email notification workflow (#28) Mirror to Git Forges #61: Commit 81a0eec pushed by hyperpolymath
7s main
main
7s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#26) Mirror to Git Forges #60: Commit ac1dc4a pushed by hyperpolymath
1s main
main
1s
chore(clade): backfill [status] lifecycle block (default active) (#27) Mirror to Git Forges #59: Commit 041f03d pushed by hyperpolymath
1s main
main
1s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#25) Mirror to Git Forges #58: Commit 6cc90bb pushed by hyperpolymath
2s main
main
2s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#24) Mirror to Git Forges #57: Commit 0a5980d pushed by hyperpolymath
8s main
main
8s