CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• feat: add panic-attacker assail report

  completed successfully:
  CodeQL Security Analysis#127:Commitfc31f44pushedbyhyperpolymath
  main

  Apr 15, 20261m 15s
  More actions for workflow run 127

• feat: add privacy policy URL to manifest.json

  completed successfully:
  CodeQL Security Analysis#126:Commitef723afpushedbyhyperpolymath
  main

  Apr 15, 20261m 15s
  More actions for workflow run 126

• chore: M5 CI/Workflow Sweep - add blockers and contractile.just

  completed successfully:
  CodeQL Security Analysis#125:Commitb28d325pushedbyhyperpolymath
  main

  Apr 15, 20268m 51s
  More actions for workflow run 125

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#124:Scheduled
  main

  Apr 13, 20261m 21s
  More actions for workflow run 124

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  completed successfully:
  CodeQL Security Analysis#123:Commit9372e53pushedbyhyperpolymath
  main

  Apr 11, 202634m 53s
  More actions for workflow run 123

• chore: automated sync of local changes

  completed successfully:
  CodeQL Security Analysis#122:Commit758cf03pushedbyhyperpolymath
  main

  Apr 8, 202613m 6s
  More actions for workflow run 122

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#121:Scheduled
  main

  Apr 6, 20261m 20s
  More actions for workflow run 121

• feat(crg): add crg-grade and crg-badge justfile recipes

  completed successfully:
  CodeQL Security Analysis#120:Commit00c0382pushedbyhyperpolymath
  main

  Apr 4, 20265h 39m 13s
  More actions for workflow run 120

• ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks

  completed successfully:
  CodeQL Security Analysis#119:Commitd23eb7cpushedbyhyperpolymath
  main

  Apr 4, 202656m 38s
  More actions for workflow run 119

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  completed successfully:
  CodeQL Security Analysis#118:Commita2e8c8apushedbyhyperpolymath
  main

  Apr 4, 202620m 15s
  More actions for workflow run 118

• doc: mark CRG C achieved in TEST-NEEDS.md (94 tests passing)

  completed successfully:
  CodeQL Security Analysis#117:Commit80f49dapushedbyhyperpolymath
  main

  Apr 4, 20261m 18s
  More actions for workflow run 117

• CRG blitz D→C: comprehensive test coverage for fireflag

  completed successfully:
  CodeQL Security Analysis#116:Commitcd97aacpushedbyhyperpolymath
  main

  Apr 4, 20261m 25s
  More actions for workflow run 116

• chore: fix SPDX headers (PMPL→MPL-2.0 for extension store) + package …

  completed successfully:
  CodeQL Security Analysis#115:Commit8e5b920pushedbyhyperpolymath
  main

  Apr 3, 20261m 24s
  More actions for workflow run 115

• chore(deps): bump the actions group with 5 updates (#17)

  completed successfully:
  CodeQL Security Analysis#114:Commitc222cddpushedbyhyperpolymath
  main

  Apr 3, 20261m 24s
  More actions for workflow run 114

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

  completed successfully:
  CodeQL Security Analysis#113:Pull request#17synchronizebyhyperpolymath
  dependabot/github_actions/actions-95df6f5599

  Apr 3, 20261m 14s
  More actions for workflow run 113

• Add casket pages workflow

  completed successfully:
  CodeQL Security Analysis#112:Commit478d7fbpushedbyhyperpolymath
  main

  Apr 2, 202625m 35s
  More actions for workflow run 112

• docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit

  completed successfully:
  CodeQL Security Analysis#111:Commit9d05ffapushedbyhyperpolymath
  main

  Mar 30, 20266m 52s
  More actions for workflow run 111

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#110:Scheduled
  main

  Mar 30, 20261m 15s
  More actions for workflow run 110

• feat: add stapeln.toml container definition

  completed successfully:
  CodeQL Security Analysis#109:Commit138fd5cpushedbyhyperpolymath
  main

  Mar 29, 202612m 30s
  More actions for workflow run 109

• chore: deploy UX infrastructure (contractile.just, .well-known, manif…

  completed successfully:
  CodeQL Security Analysis#108:Commit5ed6867pushedbyhyperpolymath
  main

  Mar 29, 202622m 33s
  More actions for workflow run 108

• chore: add gitignore, gitattributes, tool-versions

  completed successfully:
  CodeQL Security Analysis#107:Commit24344aepushedbyhyperpolymath
  main

  Mar 28, 20262h 2m 2s
  More actions for workflow run 107

• feat: deploy UX Manifesto infrastructure

  completed successfully:
  CodeQL Security Analysis#106:Commit55f7c1epushedbyhyperpolymath
  main

  Mar 28, 20261h 34m 46s
  More actions for workflow run 106

• chore: add UX infrastructure (quickstart, doctor, setup)

  completed successfully:
  CodeQL Security Analysis#105:Commit5f26a35pushedbyhyperpolymath
  main

  Mar 28, 202638m 50s
  More actions for workflow run 105

• chore: untrack ReScript compiler artifacts (.cmt/.cmti/.cmi)

  completed successfully:
  CodeQL Security Analysis#104:Commitbafc7fcpushedbyhyperpolymath
  main

  Mar 28, 20261m 21s
  More actions for workflow run 104

• chore: add agent_instructions methodology layer

  completed successfully:
  CodeQL Security Analysis#103:Commit2089733pushedbyhyperpolymath
  main

  Mar 24, 202637m 55s
  More actions for workflow run 103