CodeQL Security Analysis

363 workflow runs

CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#188:Scheduled
main
May 25, 202642s
chore(deps): Bump the actions group with 2 updates
completed successfully:
CodeQL Security Analysis#187:Pull request#52openedbydependabot[bot]Bot
dependabot/github_actions/actions-e29db5e6fa
May 25, 202650s
Add workflow-linter.yml prevention workflow
completed successfully:
CodeQL Security Analysis#186:Commiteac389fpushedbyhyperpolymath
main
May 22, 20266h 35m 59s
chore: migrate license from PMPL-1.0-or-later to MPL-2.0
completed successfully:
CodeQL Security Analysis#185:Commitc2d450bpushedbyhyperpolymath
main
May 22, 20263h 35m 57s
chore(deps): Bump the actions group across 1 directory with 3 updates…
completed successfully:
CodeQL Security Analysis#184:Commit2c600d8pushedbyhyperpolymath
main
May 20, 202612h 18m 42s
chore(deps): Bump the actions group across 1 directory with 3 updates
completed successfully:
CodeQL Security Analysis#183:Pull request#47synchronizebydependabot[bot]Bot
dependabot/github_actions/actions-93565b0ab9
May 20, 202646s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-onl…
completed successfully:
CodeQL Security Analysis#182:Commit932af33pushedbyhyperpolymath
main
May 19, 202636m 2s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only)
completed successfully:
CodeQL Security Analysis#181:Pull request#51openedbyhyperpolymath
licence-debt/07-pmpl-suffix
May 19, 202629m 38s
ci(spark): adopt estate SPARK Theatre Gate (#135) (#50)
completed successfully:
CodeQL Security Analysis#180:Commit9080e60pushedbyhyperpolymath
main
May 19, 202613m 53s
ci(spark): adopt estate SPARK Theatre Gate (#135)
completed successfully:
CodeQL Security Analysis#179:Pull request#50openedbyhyperpolymath
ci/adopt-spark-theatre-gate
May 19, 20265m 13s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) …
completed successfully:
CodeQL Security Analysis#178:Commitba9b072pushedbyhyperpolymath
main
May 19, 20263m 46s
chore(deps): Bump the actions group across 1 directory with 3 updates
completed successfully:
CodeQL Security Analysis#177:Pull request#47synchronizebydependabot[bot]Bot
dependabot/github_actions/actions-93565b0ab9
May 19, 202632m 47s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit)
completed successfully:
CodeQL Security Analysis#176:Pull request#49openedbyhyperpolymath
docs/spark-noop-exemption
May 19, 20261h 30m 39s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#175:Scheduled
main
May 18, 202613h 20m 11s
harden(ci): concurrency-cancel guard on canonical check workflows (#48)
cancelled:
CodeQL Security Analysis#174:Commit103fdfapushedbyhyperpolymath
main
May 18, 202617m 28s
harden(ci): concurrency-cancel guard on canonical check workflows
completed successfully:
CodeQL Security Analysis#173:Pull request#48openedbyhyperpolymath
harden/ci-concurrency-estate-2026-05-18
May 18, 202612h 5m 58s
chore(deps): Bump the actions group across 1 directory with 3 updates
completed successfully:
CodeQL Security Analysis#172:Pull request#47openedbydependabot[bot]Bot
dependabot/github_actions/actions-93565b0ab9
May 18, 20265h 24m 48s
fix(ci): sync hypatia-scan.yml to canonical (#46)
completed successfully:
CodeQL Security Analysis#171:Commit4b8eebbpushedbyhyperpolymath
main
May 17, 202622h 37m 54s
fix(ci): sync hypatia-scan.yml to canonical
completed successfully:
CodeQL Security Analysis#170:Pull request#46openedbyhyperpolymath
fix/hypatia-scan-canonical
May 17, 202622h 32m 25s
chore(ci): prune CI noise — single governance wrapper (verisimiser#59…
completed successfully:
CodeQL Security Analysis#169:Commit36c5059pushedbyhyperpolymath
main
May 17, 20268h 5m 24s
chore(ci): prune CI noise — single governance wrapper (verisimiser#59)
completed successfully:
CodeQL Security Analysis#168:Pull request#45openedbyhyperpolymath
chore/governance-wrapper-59
May 17, 202650s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faith…
completed successfully:
CodeQL Security Analysis#167:Commitfa390dapushedbyhyperpolymath
main
May 17, 20263m 30s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful)
completed successfully:
CodeQL Security Analysis#166:Pull request#44synchronizebyhyperpolymath
chore/item10-meta-family-scm-to-a2ml
May 17, 202650s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful)
completed successfully:
CodeQL Security Analysis#165:Pull request#44openedbyhyperpolymath
chore/item10-meta-family-scm-to-a2ml
May 17, 202647s
chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal (#43)
completed successfully:
CodeQL Security Analysis#164:Commit3eae06epushedbyhyperpolymath
main
May 16, 202611m 10s