Skip to content

Actions: hyperpolymath/modshells

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
237 workflow runs
237 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: migrate license from PMPL-1.0-or-later to MPL-2.0 Hypatia Security Scan #137: Commit c2d450b pushed by hyperpolymath
3h 39m 48s main
main
3h 39m 48s
chore(deps): Bump the actions group across 1 directory with 3 updates… Hypatia Security Scan #136: Commit 2c600d8 pushed by hyperpolymath
12h 20m 19s main
main
12h 20m 19s
chore(deps): Bump the actions group across 1 directory with 3 updates Hypatia Security Scan #135: Pull request #47 synchronize by dependabot Bot
42s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
42s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-onl… Hypatia Security Scan #134: Commit 932af33 pushed by hyperpolymath
36m 19s main
main
36m 19s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) Hypatia Security Scan #133: Pull request #51 opened by hyperpolymath
26m 25s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
26m 25s
ci(spark): adopt estate SPARK Theatre Gate (#135) (#50) Hypatia Security Scan #132: Commit 9080e60 pushed by hyperpolymath
11m 29s main
main
11m 29s
ci(spark): adopt estate SPARK Theatre Gate (#135) Hypatia Security Scan #131: Pull request #50 opened by hyperpolymath
3m 56s ci/adopt-spark-theatre-gate
ci/adopt-spark-theatre-gate
3m 56s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … Hypatia Security Scan #130: Commit ba9b072 pushed by hyperpolymath
3m 53s main
main
3m 53s
chore(deps): Bump the actions group across 1 directory with 3 updates Hypatia Security Scan #129: Pull request #47 synchronize by dependabot Bot
35m 4s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
35m 4s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) Hypatia Security Scan #128: Pull request #49 opened by hyperpolymath
1h 31m 41s docs/spark-noop-exemption
docs/spark-noop-exemption
1h 31m 41s
harden(ci): concurrency-cancel guard on canonical check workflows (#48) Hypatia Security Scan #127: Commit 103fdfa pushed by hyperpolymath
12h 9m 19s main
main
12h 9m 19s
harden(ci): concurrency-cancel guard on canonical check workflows Hypatia Security Scan #126: Pull request #48 opened by hyperpolymath
12h 6m 44s harden/ci-concurrency-estate-2026-05-18
harden/ci-concurrency-estate-2026-05-18
12h 6m 44s
chore(deps): Bump the actions group across 1 directory with 3 updates Hypatia Security Scan #125: Pull request #47 opened by dependabot Bot
5h 27m 1s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
5h 27m 1s
fix(ci): sync hypatia-scan.yml to canonical (#46) Hypatia Security Scan #124: Commit 4b8eebb pushed by hyperpolymath
22h 46m 59s main
main
22h 46m 59s
fix(ci): sync hypatia-scan.yml to canonical Hypatia Security Scan #123: Pull request #46 opened by hyperpolymath
22h 35m 30s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
22h 35m 30s
Hypatia Security Scan Hypatia Security Scan #122: Scheduled
22m 21s main
main
22m 21s
chore(ci): prune CI noise — single governance wrapper (verisimiser#59… Hypatia Security Scan #121: Commit 36c5059 pushed by hyperpolymath
32m 53s main
main
32m 53s
chore(ci): prune CI noise — single governance wrapper (verisimiser#59) Hypatia Security Scan #120: Pull request #45 opened by hyperpolymath
49s chore/governance-wrapper-59
chore/governance-wrapper-59
49s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faith… Hypatia Security Scan #119: Commit fa390da pushed by hyperpolymath
4m 18s main
main
4m 18s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful) Hypatia Security Scan #118: Pull request #44 synchronize by hyperpolymath
39s chore/item10-meta-family-scm-to-a2ml
chore/item10-meta-family-scm-to-a2ml
39s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful) Hypatia Security Scan #117: Pull request #44 opened by hyperpolymath
39s chore/item10-meta-family-scm-to-a2ml
chore/item10-meta-family-scm-to-a2ml
39s
chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal (#43) Hypatia Security Scan #116: Commit 3eae06e pushed by hyperpolymath
8m 35s main
main
8m 35s
chore: Item 9 — retire ReScript guidance → AffineScript (#42) Hypatia Security Scan #115: Commit 65986aa pushed by hyperpolymath
3s main
main
3s
chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal Hypatia Security Scan #114: Pull request #43 opened by hyperpolymath
33s chore/item10-state-scm-to-a2ml-v2
chore/item10-state-scm-to-a2ml-v2
33s
chore: Item 9 — retire ReScript guidance → AffineScript Hypatia Security Scan #113: Pull request #42 opened by hyperpolymath
4m 35s chore/item9-rescript-to-affinescript-guidance
chore/item9-rescript-to-affinescript-guidance
4m 35s