Skip to content

Actions: hyperpolymath/invariant-path

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
51 workflow runs
51 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): estate-wide foundational remediation (#48) Mirror to Git Forges #51: Commit d545c19 pushed by hyperpolymath
1s main
main
1s
Sync local commits to main (#47) Mirror to Git Forges #50: Commit cfb3156 pushed by hyperpolymath
11s main
main
11s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Mirror to Git Forges #49: Commit 5b0cc1c pushed by hyperpolymath
1s main
main
1s
fix(ci): remove inert placeholder dependabot.yml (#45) Mirror to Git Forges #48: Commit a1bc9fd pushed by hyperpolymath
1s main
main
1s
security: re-pin secret scanner onto the real gitleaks gate (#43) Mirror to Git Forges #47: Commit 25e7fbf pushed by hyperpolymath
1s main
main
1s
chore(governance): land missing docs/packaging before the standards#5… Mirror to Git Forges #46: Commit cb88031 pushed by hyperpolymath
2s main
main
2s
ci: Secret Scanner caller must grant the reusable's job permissions (… Mirror to Git Forges #45: Commit 1f000c0 pushed by hyperpolymath
10s main
main
10s
fix(ci): clear OSSF Scorecard startup_failure (#41) Mirror to Git Forges #44: Commit ca3c03d pushed by hyperpolymath
2s main
main
2s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#40) Mirror to Git Forges #43: Commit 91b6613 pushed by hyperpolymath
1s main
main
1s
Fix multi-root bench, align docs & metadata with reality (#39) Mirror to Git Forges #42: Commit d7aa41c pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#38) Mirror to Git Forges #41: Commit b57eaba pushed by hyperpolymath
1s main
main
1s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Mirror to Git Forges #40: Commit 56b2cc3 pushed by hyperpolymath
2s main
main
2s
chore(ci): add dormant push-email notification workflow (#36) Mirror to Git Forges #39: Commit 3e0b4b4 pushed by hyperpolymath
1s main
main
1s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Mirror to Git Forges #38: Commit bb92b9c pushed by hyperpolymath
9s main
main
9s
chore(ci): bump standards reusable workflow pins (#34) Mirror to Git Forges #37: Commit f35b87f pushed by hyperpolymath
1s main
main
1s
chore: retire local issue/discussion templates -> inherit org .github… Mirror to Git Forges #36: Commit 9f0e663 pushed by hyperpolymath
1s main
main
1s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Mirror to Git Forges #35: Commit c726b11 pushed by hyperpolymath
1s main
main
1s
proof: machine-checked same-cube observational-equivalence lemma (Agd… Mirror to Git Forges #34: Commit 898f981 pushed by hyperpolymath
1s main
main
1s
feat: add faces same-cube verifier (invariant-path 'faces' profile) Mirror to Git Forges #33: Commit 95fb310 pushed by hyperpolymath
11s main
main
11s
ci: cut Actions burn — scope push triggers + concurrency-cancel Mirror to Git Forges #32: Commit ce3005f pushed by hyperpolymath
1s main
main
1s
echo-types application example + fix rustfmt CI gate (#30) Mirror to Git Forges #31: Commit 518a80c pushed by hyperpolymath
Startup failure main
main
Startup failure
Create dependabot.yml Mirror to Git Forges #30: Commit 48ca4dc pushed by hyperpolymath
Startup failure main
main
Startup failure
Update issue templates Mirror to Git Forges #29: Commit 6d1886f pushed by hyperpolymath
1s main
main
1s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#28) Mirror to Git Forges #28: Commit c5e33aa pushed by hyperpolymath
1s main
main
1s
docs: record tech-debt audit findings (2026-05-26) (#27) Mirror to Git Forges #27: Commit 1285447 pushed by hyperpolymath
1s main
main
1s