CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(ci): add dormant push-email notification workflow (#88)

  cancelled:
  CodeQL Security Analysis#175:Commita377160pushedbyhyperpolymath
  main

  Jun 24, 202614h 3m 58s
  More actions for workflow run 175

• chore(ci): add dormant push-email notification workflow

  completed successfully:
  CodeQL Security Analysis#174:Pull request#88openedbyhyperpolymath
  chore/push-email-notify

  Jun 24, 202619h 41m 13s
  More actions for workflow run 174

• chore(ci): bump standards reusable workflow pins (#87)

  completed successfully:
  CodeQL Security Analysis#173:Commitb2e2446pushedbyhyperpolymath
  main

  Jun 24, 202611m 3s
  More actions for workflow run 173

• chore(ci): bump standards reusable workflow pins

  completed successfully:
  CodeQL Security Analysis#172:Pull request#87openedbyhyperpolymath
  chore/bump-standards-pins-2026-06-24

  Jun 24, 20265m 5s
  More actions for workflow run 172

• chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)

  completed successfully:
  CodeQL Security Analysis#171:Commit7a216efpushedbyhyperpolymath
  main

  Jun 24, 20261m 27s
  More actions for workflow run 171

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  completed successfully:
  CodeQL Security Analysis#170:Pull request#86openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 202655s
  More actions for workflow run 170

• chore: retire local issue/discussion templates -> inherit org .github…

  completed successfully:
  CodeQL Security Analysis#169:Commitf35d074pushedbyhyperpolymath
  main

  Jun 22, 20261m 17s
  More actions for workflow run 169

• chore(deps): bump actions/checkout in the actions group

  completed successfully:
  CodeQL Security Analysis#168:Commitc9c1e34pushedbyhyperpolymath
  main

  Jun 19, 20261m 18s
  More actions for workflow run 168

• chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions group

  completed successfully:
  CodeQL Security Analysis#167:Pull request#85openedbydependabot[bot]Bot
  dependabot/github_actions/actions-2217aebe03

  Jun 19, 20261m 0s
  More actions for workflow run 167

• docs(proof-status): absolute-zero multi-prover verification — Coq 13/…

  completed successfully:
  CodeQL Security Analysis#166:Commitee2947epushedbyhyperpolymath
  main

  Jun 18, 20261m 15s
  More actions for workflow run 166

• docs(proof-status): absolute-zero multi-prover verification — Coq 13/13 + Agda 3/3

  completed successfully:
  CodeQL Security Analysis#165:Pull request#84openedbyhyperpolymath
  claude/hopeful-babbage-pn0l4o

  Jun 18, 20262m 27s
  More actions for workflow run 165

• docs(ond): add Observational Null Operations as a co-equal second pillar

  completed successfully:
  CodeQL Security Analysis#164:Commit604c7b7pushedbyhyperpolymath
  main

  Jun 18, 20261m 12s
  More actions for workflow run 164

• docs(ond): add Observational Null Operations as a co-equal second pillar (design + roadmap)

  completed successfully:
  CodeQL Security Analysis#163:Pull request#83openedbyhyperpolymath
  claude/hopeful-babbage-pn0l4o

  Jun 18, 202651s
  More actions for workflow run 163

• ci: cut Actions burn — scope push triggers + concurrency-cancel (#82)

  completed successfully:
  CodeQL Security Analysis#162:Commit1b7d963pushedbyhyperpolymath
  main

  Jun 13, 20261m 46s
  More actions for workflow run 162

• ci: cut Actions burn — scope push triggers + concurrency-cancel

  completed successfully:
  CodeQL Security Analysis#161:Pull request#82openedbyhyperpolymath
  ci/burn-reduction-triggers-concurrency

  Jun 13, 202658s
  More actions for workflow run 161

• chore(governance): adopt estate-standardization wave + 2026-06-12 che…

  completed successfully:
  CodeQL Security Analysis#160:Commit87b6642pushedbyhyperpolymath
  main

  Jun 12, 20261m 9s
  More actions for workflow run 160

• chore(governance): adopt estate-standardization wave + 2026-06-12 checkpoint

  completed successfully:
  CodeQL Security Analysis#159:Pull request#73synchronizebyhyperpolymath
  claude/confident-shannon-xf0Td

  Jun 12, 20261m 8s
  More actions for workflow run 159

• chore(governance): adopt estate-standardization wave + 2026-06-12 checkpoint

  completed successfully:
  CodeQL Security Analysis#158:Pull request#73openedbyhyperpolymath
  claude/confident-shannon-xf0Td

  Jun 12, 202653s
  More actions for workflow run 158

• chore(deps): bump the actions group with 2 updates (#72)

  completed successfully:
  CodeQL Security Analysis#157:Commit856186dpushedbyhyperpolymath
  main

  Jun 6, 20261m 9s
  More actions for workflow run 157

• chore(deps): bump the actions group with 2 updates

  completed successfully:
  CodeQL Security Analysis#156:Pull request#72openedbydependabot[bot]Bot
  dependabot/github_actions/actions-882fedbe01

  Jun 5, 202650s
  More actions for workflow run 156

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#155:Scheduled
  main

  Jun 1, 20261m 37s
  More actions for workflow run 155

• Add sponsor badge

  completed successfully:
  CodeQL Security Analysis#154:Commit4867f1fpushedbyhyperpolymath
  main

  Jun 1, 20269m 12s
  More actions for workflow run 154

• ci(codeql): cron weekly→monthly (cut 3, standards#233 Option B) (#71)

  completed successfully:
  CodeQL Security Analysis#153:Commit7dccd56pushedbyhyperpolymath
  main

  May 31, 20265h 52m 13s
  More actions for workflow run 153

• ci(codeql): cron weekly→monthly (cut 3, standards#233 Option B)

  completed successfully:
  CodeQL Security Analysis#152:Pull request#71openedbyhyperpolymath
  ci/codeql-monthly-cron-288

  May 31, 20265h 54m 39s
  More actions for workflow run 152

• ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) (#69)

  cancelled:
  CodeQL Security Analysis#151:Commit7da92b3pushedbyhyperpolymath
  main

  May 30, 202613h 30m 56s
  More actions for workflow run 151