CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Chore/phase11 final

  completed successfully:
  CodeQL Security Analysis#190:Pull request#105synchronizebycoderabbitai[bot]Bot
  chore/phase11-final

  Sep 20, 202649s
  More actions for workflow run 190

• chore: drop empty holdings; coprocessor catalogue; pons status (#104)

  completed successfully:
  CodeQL Security Analysis#189:Commitc931c4cpushedbyhyperpolymath
  main

  Sep 20, 202648s
  More actions for workflow run 189

• chore: drop empty holdings; coprocessor catalogue; pons status

  completed successfully:
  CodeQL Security Analysis#188:Pull request#104synchronizebyhyperpolymath
  chore/holdings-coprocessor

  Sep 20, 20261m 2s
  More actions for workflow run 188

• chore: drop empty holdings; coprocessor catalogue; pons status

  completed successfully:
  CodeQL Security Analysis#187:Pull request#104openedbyhyperpolymath
  chore/holdings-coprocessor

  Sep 20, 202647s
  More actions for workflow run 187

• fix(docs): GitHub README precedence; descriptiles not 6a2 (#103)

  completed successfully:
  CodeQL Security Analysis#186:Commitce44d2fpushedbyhyperpolymath
  main

  Sep 20, 202647s
  More actions for workflow run 186

• fix(docs): GitHub README precedence; descriptiles not 6a2

  completed successfully:
  CodeQL Security Analysis#185:Pull request#103synchronizebyhyperpolymath
  chore/phase11-final

  Sep 20, 202648s
  More actions for workflow run 185

• fix(launcher): panic-attack finding; Phase 10 report (#102)

  completed successfully:
  CodeQL Security Analysis#184:Commite351d86pushedbyhyperpolymath
  main

  Sep 20, 20261m 18s
  More actions for workflow run 184

• fix(launcher): panic-attack finding; Phase 10 report

  completed successfully:
  CodeQL Security Analysis#183:Pull request#102openedbyhyperpolymath
  chore/phase10-validation

  Sep 20, 202649s
  More actions for workflow run 183

• docs(phase9): cross-repo — no vacuous proven-tests PR (#100)

  completed successfully:
  CodeQL Security Analysis#182:Commitb8118depushedbyhyperpolymath
  main

  Sep 20, 202647s
  More actions for workflow run 182

• docs(phase9): cross-repo — no vacuous proven-tests PR

  completed successfully:
  CodeQL Security Analysis#181:Pull request#100openedbyhyperpolymath
  chore/phase9-crossrepo

  Sep 20, 202648s
  More actions for workflow run 181

• docs(roadmap): Phase 8 structure + issue map #77–#98 (#99)

  completed successfully:
  CodeQL Security Analysis#180:Commit51fd825pushedbyhyperpolymath
  main

  Sep 20, 202653s
  More actions for workflow run 180

• docs(roadmap): Phase 8 structure + issue map #77–#98

  completed successfully:
  CodeQL Security Analysis#179:Pull request#99openedbyhyperpolymath
  chore/phase8-roadmap

  Sep 20, 202648s
  More actions for workflow run 179

• chore(phase7): Guix, containers, mise, ci environment (#76)

  completed successfully:
  CodeQL Security Analysis#178:Commit3ded68apushedbyhyperpolymath
  main

  Sep 20, 202646s
  More actions for workflow run 178

• chore(phase7): Guix, containers, mise, ci environment

  completed successfully:
  CodeQL Security Analysis#177:Pull request#76openedbyhyperpolymath
  chore/phase7-env

  Sep 20, 202642s
  More actions for workflow run 177

• docs(wiki): BerryWiki Markdown at /wiki (#75)

  completed successfully:
  CodeQL Security Analysis#176:Commitb9b4eb1pushedbyhyperpolymath
  main

  Sep 20, 202648s
  More actions for workflow run 176

• docs(wiki): BerryWiki Markdown at /wiki

  completed successfully:
  CodeQL Security Analysis#175:Pull request#75openedbyhyperpolymath
  chore/berrywiki-md

  Sep 20, 202648s
  More actions for workflow run 175

• docs(phase6): README.adoc layers, setup, wiki plan (#74)

  completed successfully:
  CodeQL Security Analysis#174:Commit0e556d5pushedbyhyperpolymath
  main

  Sep 20, 202649s
  More actions for workflow run 174

• docs(phase6): README.adoc layers, setup, wiki plan

  completed successfully:
  CodeQL Security Analysis#173:Pull request#74openedbyhyperpolymath
  chore/phase6-docs

  Sep 20, 202650s
  More actions for workflow run 173

• docs(phase5): CI/GitHub audit, protection, social preview (#73)

  completed successfully:
  CodeQL Security Analysis#172:Commit0ffe0aapushedbyhyperpolymath
  main

  Sep 20, 202651s
  More actions for workflow run 172

• docs(phase5): CI/GitHub audit, protection, social preview

  completed successfully:
  CodeQL Security Analysis#171:Pull request#73openedbyhyperpolymath
  chore/phase5-github

  Sep 20, 20261m 20s
  More actions for workflow run 171

• docs(phase4): test/bench/proof taxonomy (honest N/A) (#72)

  completed successfully:
  CodeQL Security Analysis#170:Commit7a85204pushedbyhyperpolymath
  main

  Sep 20, 202652s
  More actions for workflow run 170

• docs(phase4): test/bench/proof taxonomy (honest N/A)

  completed successfully:
  CodeQL Security Analysis#169:Pull request#72openedbyhyperpolymath
  chore/phase4-verification

  Sep 20, 202650s
  More actions for workflow run 169

• chore(phase3): integrations audit (BoJ/gossamer/groove) (#71)

  completed successfully:
  CodeQL Security Analysis#168:Commit82648efpushedbyhyperpolymath
  main

  Sep 20, 202648s
  More actions for workflow run 168

• chore(phase3): integrations audit (BoJ/gossamer/groove)

  completed successfully:
  CodeQL Security Analysis#167:Pull request#71openedbyhyperpolymath
  chore/phase3-integrations

  Sep 20, 202653s
  More actions for workflow run 167

• feat: Idris2-only proofs, e2e CI, emitter, backend/projection specs (…

  completed successfully:
  CodeQL Security Analysis#166:Commit626bd6apushedbyhyperpolymath
  main

  Sep 20, 202644s
  More actions for workflow run 166