Skip to content

Actions: hyperpolymath/modshells

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
143 workflow runs
143 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
docs: seed CHANGELOG.md (Keep-a-Changelog format) (#59) Mirror to Git Forges #143: Commit 48a9115 pushed by hyperpolymath
5h 40m 56s main
main
5h 40m 56s
chore(ci): replace scorecard.yml with reusable wrapper (#58) Mirror to Git Forges #142: Commit ec2fe05 pushed by hyperpolymath
5h 40m 59s main
main
5h 40m 59s
chore(ci): replace secret-scanner.yml with reusable wrapper (#57) Mirror to Git Forges #141: Commit 41eafd3 pushed by hyperpolymath
5h 32m 22s main
main
5h 32m 22s
chore(ci): replace mirror.yml with reusable wrapper (#56) Mirror to Git Forges #140: Commit 60039f3 pushed by hyperpolymath
5h 32m 24s main
main
5h 32m 24s
chore(license): migrate to MPL-2.0 (#55) Mirror to Git Forges #139: Commit e38cdc5 pushed by hyperpolymath
5h 29m 55s main
main
5h 29m 55s
docs: record tech-debt audit findings (2026-05-26) (#54) Mirror to Git Forges #138: Commit 6b99855 pushed by hyperpolymath
5h 21m 1s main
main
5h 21m 1s
chore(ci): convert hypatia-scan.yml to wrapper of standards reusable … Mirror to Git Forges #137: Commit 89a6f1d pushed by hyperpolymath
1h 53m 15s main
main
1h 53m 15s
chore(deps): Bump the actions group with 2 updates (#52) Mirror to Git Forges #136: Commit 79b491a pushed by hyperpolymath
9s main
main
9s
Add workflow-linter.yml prevention workflow Mirror to Git Forges #135: Commit eac389f pushed by hyperpolymath
6h 26m 51s main
main
6h 26m 51s
chore: migrate license from PMPL-1.0-or-later to MPL-2.0 Mirror to Git Forges #134: Commit c2d450b pushed by hyperpolymath
3h 38m 38s main
main
3h 38m 38s
chore(deps): Bump the actions group across 1 directory with 3 updates… Mirror to Git Forges #133: Commit 2c600d8 pushed by hyperpolymath
12h 21m 46s main
main
12h 21m 46s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-onl… Mirror to Git Forges #132: Commit 932af33 pushed by hyperpolymath
37m 18s main
main
37m 18s
ci(spark): adopt estate SPARK Theatre Gate (#135) (#50) Mirror to Git Forges #131: Commit 9080e60 pushed by hyperpolymath
15m 41s main
main
15m 41s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … Mirror to Git Forges #130: Commit ba9b072 pushed by hyperpolymath
2m 48s main
main
2m 48s
harden(ci): concurrency-cancel guard on canonical check workflows (#48) Mirror to Git Forges #129: Commit 103fdfa pushed by hyperpolymath
12h 5m 3s main
main
12h 5m 3s
fix(ci): sync hypatia-scan.yml to canonical (#46) Mirror to Git Forges #128: Commit 4b8eebb pushed by hyperpolymath
22h 34m 1s main
main
22h 34m 1s
chore(ci): prune CI noise — single governance wrapper (verisimiser#59… Mirror to Git Forges #127: Commit 36c5059 pushed by hyperpolymath
8h 10m 41s main
main
8h 10m 41s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faith… Mirror to Git Forges #126: Commit fa390da pushed by hyperpolymath
2m 51s main
main
2m 51s
chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal (#43) Mirror to Git Forges #125: Commit 3eae06e pushed by hyperpolymath
8m 48s main
main
8m 48s
chore: Item 9 — retire ReScript guidance → AffineScript (#42) Mirror to Git Forges #124: Commit 65986aa pushed by hyperpolymath
9m 41s main
main
9m 41s
fix(ci): point CodeQL at actions so SAST runs every commit (#72) (#41) Mirror to Git Forges #123: Commit 2062d72 pushed by hyperpolymath
42m 32s main
main
42m 32s
chore(deps): Bump the actions group with 6 updates (#38) Mirror to Git Forges #122: Commit e4b5758 pushed by hyperpolymath
1h 6m 55s main
main
1h 6m 55s
fix(ci): adopt canonical hypatia-scan.yml (#39) Mirror to Git Forges #121: Commit 07e20dc pushed by hyperpolymath
1h 13m 19s main
main
1h 13m 19s
Normalize license badge Mirror to Git Forges #120: Commit 34615c1 pushed by hyperpolymath
7m 19s main
main
7m 19s
fix(ci): hypatia-scan workdir (${{ env.HOME }} resolves empty) (#37) Mirror to Git Forges #119: Commit 8e7f1b0 pushed by hyperpolymath
1h 24m 42s main
main
1h 24m 42s