Skip to content

Actions: hyperpolymath/wokelangiser

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
90 workflow runs
90 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): close the governance gate — SPDX, permissions, SHA pins, reu… Mirror to Git Forges #90: Commit ba14fff pushed by hyperpolymath
1s main
main
1s
security: re-pin secret scanner onto the real gitleaks gate (#59) Mirror to Git Forges #89: Commit 2760395 pushed by hyperpolymath
1s main
main
1s
fix(ci): clear OSSF Scorecard startup_failure (#58) Mirror to Git Forges #88: Commit 58c50a5 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#57) Mirror to Git Forges #87: Commit d024028 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#56) Mirror to Git Forges #86: Commit a24a2cf 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 #85: Commit 4e6560c pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: consent withdrawal (revocation removes permission) (#54) Mirror to Git Forges #84: Commit de7135c pushed by hyperpolymath
2s main
main
2s
ABI Layer 2: prove consent-gated data actions — flagship Idris2 proof… Mirror to Git Forges #83: Commit f5025ed pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#52) Mirror to Git Forges #82: Commit bd99b31 pushed by hyperpolymath
1s main
main
1s
P1: fix Zig FFI to build and match the Idris2 ABI (#51) Mirror to Git Forges #81: Commit 77eb4b8 pushed by hyperpolymath
2s main
main
2s
Auto-install pinned Zig toolchain in setup + devcontainer (#50) Mirror to Git Forges #80: Commit 56e0806 pushed by hyperpolymath
1s main
main
1s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Mirror to Git Forges #79: Commit 2c12d32 pushed by hyperpolymath
1s main
main
1s
Add SPDX header to LICENSE and set Cargo.toml license field (#48) Mirror to Git Forges #78: Commit 21400aa pushed by hyperpolymath
1s main
main
1s
chore(ci): add dormant push-email notification workflow (#47) Mirror to Git Forges #77: Commit ba8ebb4 pushed by hyperpolymath
7s main
main
7s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#46) Mirror to Git Forges #76: Commit 9c2ff2a pushed by hyperpolymath
7s main
main
7s
chore(clade): backfill [status] lifecycle block (default active) (#45) Mirror to Git Forges #75: Commit 9adb60d pushed by hyperpolymath
1s main
main
1s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#44) Mirror to Git Forges #74: Commit e8df792 pushed by hyperpolymath
1s main
main
1s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#43) Mirror to Git Forges #73: Commit b528869 pushed by hyperpolymath
2s main
main
2s
chore: retire local issue/discussion templates -> inherit org .github… Mirror to Git Forges #72: Commit 2672869 pushed by hyperpolymath
1s main
main
1s
ci: bump rust-ci-reusable pin cc5a372a → 09e7023d (standards HEAD) (#42) Mirror to Git Forges #71: Commit dfb5921 pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins 5a93d9d -> 09e7023d (current HEAD… Mirror to Git Forges #70: Commit eeaa67e pushed by hyperpolymath
1s main
main
1s
chore: close-out hygiene — SPDX fix, fill template placeholders, refr… Mirror to Git Forges #69: Commit 2c3b718 pushed by hyperpolymath
1s main
main
1s
Add reusable branch-cleanup workflow (server-side deletion) (#36) Mirror to Git Forges #68: Commit 607c133 pushed by hyperpolymath
1s main
main
1s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Mirror to Git Forges #67: Commit c54fde7 pushed by hyperpolymath
2s main
main
2s
chore(security): clear Hypatia false-positives (.envrc example + setu… Mirror to Git Forges #66: Commit 9b8027b pushed by hyperpolymath
1s main
main
1s