Skip to content

Actions: hyperpolymath/modshells

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
210 workflow runs
210 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 CodeQL Security Analysis #185: Commit c2d450b pushed by hyperpolymath
3h 35m 57s main
main
3h 35m 57s
chore(deps): Bump the actions group across 1 directory with 3 updates… CodeQL Security Analysis #184: Commit 2c600d8 pushed by hyperpolymath
12h 18m 42s main
main
12h 18m 42s
chore(deps): Bump the actions group across 1 directory with 3 updates CodeQL Security Analysis #183: Pull request #47 synchronize by dependabot Bot
46s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
46s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-onl… CodeQL Security Analysis #182: Commit 932af33 pushed by hyperpolymath
36m 2s main
main
36m 2s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) CodeQL Security Analysis #181: Pull request #51 opened by hyperpolymath
29m 38s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
29m 38s
ci(spark): adopt estate SPARK Theatre Gate (#135) (#50) CodeQL Security Analysis #180: Commit 9080e60 pushed by hyperpolymath
13m 53s main
main
13m 53s
ci(spark): adopt estate SPARK Theatre Gate (#135) CodeQL Security Analysis #179: Pull request #50 opened by hyperpolymath
5m 13s ci/adopt-spark-theatre-gate
ci/adopt-spark-theatre-gate
5m 13s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … CodeQL Security Analysis #178: Commit ba9b072 pushed by hyperpolymath
3m 46s main
main
3m 46s
chore(deps): Bump the actions group across 1 directory with 3 updates CodeQL Security Analysis #177: Pull request #47 synchronize by dependabot Bot
32m 47s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
32m 47s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) CodeQL Security Analysis #176: Pull request #49 opened by hyperpolymath
1h 30m 39s docs/spark-noop-exemption
docs/spark-noop-exemption
1h 30m 39s
CodeQL Security Analysis CodeQL Security Analysis #175: Scheduled
13h 20m 11s main
main
13h 20m 11s
harden(ci): concurrency-cancel guard on canonical check workflows (#48) CodeQL Security Analysis #174: Commit 103fdfa pushed by hyperpolymath
17m 28s main
main
17m 28s
harden(ci): concurrency-cancel guard on canonical check workflows CodeQL Security Analysis #173: Pull request #48 opened by hyperpolymath
12h 5m 58s harden/ci-concurrency-estate-2026-05-18
harden/ci-concurrency-estate-2026-05-18
12h 5m 58s
chore(deps): Bump the actions group across 1 directory with 3 updates CodeQL Security Analysis #172: Pull request #47 opened by dependabot Bot
5h 24m 48s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
5h 24m 48s
fix(ci): sync hypatia-scan.yml to canonical (#46) CodeQL Security Analysis #171: Commit 4b8eebb pushed by hyperpolymath
22h 37m 54s main
main
22h 37m 54s
fix(ci): sync hypatia-scan.yml to canonical CodeQL Security Analysis #170: Pull request #46 opened by hyperpolymath
22h 32m 25s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
22h 32m 25s
chore(ci): prune CI noise — single governance wrapper (verisimiser#59… CodeQL Security Analysis #169: Commit 36c5059 pushed by hyperpolymath
8h 5m 24s main
main
8h 5m 24s
chore(ci): prune CI noise — single governance wrapper (verisimiser#59) CodeQL Security Analysis #168: Pull request #45 opened by hyperpolymath
50s chore/governance-wrapper-59
chore/governance-wrapper-59
50s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faith… CodeQL Security Analysis #167: Commit fa390da pushed by hyperpolymath
3m 30s main
main
3m 30s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful) CodeQL Security Analysis #166: Pull request #44 synchronize by hyperpolymath
50s chore/item10-meta-family-scm-to-a2ml
chore/item10-meta-family-scm-to-a2ml
50s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful) CodeQL Security Analysis #165: Pull request #44 opened by hyperpolymath
47s chore/item10-meta-family-scm-to-a2ml
chore/item10-meta-family-scm-to-a2ml
47s
chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal (#43) CodeQL Security Analysis #164: Commit 3eae06e pushed by hyperpolymath
11m 10s main
main
11m 10s
chore: Item 9 — retire ReScript guidance → AffineScript (#42) CodeQL Security Analysis #163: Commit 65986aa pushed by hyperpolymath
8m 30s main
main
8m 30s
chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal CodeQL Security Analysis #162: Pull request #43 opened by hyperpolymath
46s chore/item10-state-scm-to-a2ml-v2
chore/item10-state-scm-to-a2ml-v2
46s
chore: Item 9 — retire ReScript guidance → AffineScript CodeQL Security Analysis #161: Pull request #42 opened by hyperpolymath
4m 57s chore/item9-rescript-to-affinescript-guidance
chore/item9-rescript-to-affinescript-guidance
4m 57s