CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• docs(arrival-pack): drop Opus from rule 16's cheaper-model list (#38)

  completed successfully:
  CodeQL Security Analysis#124:Commiteaa7e97pushedbyhyperpolymath
  main

  Nov 12, 202655s
  More actions for workflow run 124

• docs(arrival-pack): drop Opus from rule 16's cheaper-model list

  completed successfully:
  CodeQL Security Analysis#123:Pull request#38openedbyhyperpolymath
  docs/rule-16-drop-opus

  Nov 12, 20264m 34s
  More actions for workflow run 123

• docs(arrival-pack): add doctrine 16, cheap models for upkeep (#37)

  completed successfully:
  CodeQL Security Analysis#122:Commitee71876pushedbyhyperpolymath
  main

  Nov 12, 202657s
  More actions for workflow run 122

• docs(arrival-pack): add doctrine 16, cheap models for upkeep

  completed successfully:
  CodeQL Security Analysis#121:Pull request#37openedbyhyperpolymath
  chore/arrival-pack-doctrine-16

  Nov 12, 20261m 37s
  More actions for workflow run 121

• fix(ci): fetch the verdict-grid renderer at the commit its hashes nam…

  completed successfully:
  CodeQL Security Analysis#120:Commitc9c4b39pushedbyhyperpolymath
  main

  Nov 10, 20261m 41s
  More actions for workflow run 120

• fix(ci): fetch the verdict-grid renderer at the commit its hashes name

  completed successfully:
  CodeQL Security Analysis#119:Pull request#36openedbyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 202658s
  More actions for workflow run 119

• fix(ci): adopt the template's inline hypatia-scan.yml (#35)

  completed successfully:
  CodeQL Security Analysis#118:Commit249715dpushedbyhyperpolymath
  main

  Nov 10, 202639s
  More actions for workflow run 118

• fix(ci): adopt the template's inline hypatia-scan.yml

  completed successfully:
  CodeQL Security Analysis#117:Pull request#35synchronizebyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 202647s
  More actions for workflow run 117

• fix(ci): adopt the template's inline hypatia-scan.yml

  completed successfully:
  CodeQL Security Analysis#116:Pull request#35openedbyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 20261m 7s
  More actions for workflow run 116

• Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii) (#34)

  completed successfully:
  CodeQL Security Analysis#115:Commitf81f68epushedbyhyperpolymath
  main

  Nov 10, 202645s
  More actions for workflow run 115

• Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii)

  completed successfully:
  CodeQL Security Analysis#114:Pull request#34synchronizebyhyperpolymath
  claude/recheck-legs

  Nov 10, 202648s
  More actions for workflow run 114

• Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii)

  completed successfully:
  CodeQL Security Analysis#113:Pull request#34openedbyhyperpolymath
  claude/recheck-legs

  Nov 10, 202647s
  More actions for workflow run 113

• proof(flags): canonical --cubical-compatible in force; grades as PROO…

  completed successfully:
  CodeQL Security Analysis#112:Commit692c521pushedbyhyperpolymath
  main

  Nov 10, 20263m 6s
  More actions for workflow run 112

• proof(flags): canonical --cubical-compatible in force; grades as PROOF-POLICY §8 PWG

  completed successfully:
  CodeQL Security Analysis#111:Pull request#32synchronizebyhyperpolymath
  claude/serene-sagan-un5t4q

  Nov 10, 20261m 57s
  More actions for workflow run 111

• fix(edges): fetch reusable sources over https only, redirects include…

  completed successfully:
  CodeQL Security Analysis#110:Commitecf164apushedbyhyperpolymath
  main

  Nov 10, 202647s
  More actions for workflow run 110

• fix(edges): fetch reusable sources over https only, redirects included

  completed successfully:
  CodeQL Security Analysis#109:Pull request#25synchronizebyhyperpolymath
  claude/edges-https-only

  Nov 10, 202643s
  More actions for workflow run 109

• chore(canon): adopt canon 2.1.5 (gate table 0.3.1; criteria unchanged…

  completed successfully:
  CodeQL Security Analysis#108:Commitc4a8d88pushedbyhyperpolymath
  main

  Nov 10, 20265m 16s
  More actions for workflow run 108

• chore(canon): adopt canon 2.1.5 (gate table 0.3.1; criteria unchanged)

  completed successfully:
  CodeQL Security Analysis#107:Pull request#27synchronizebyhyperpolymath
  claude/canon-2.1.5

  Nov 10, 20263m 20s
  More actions for workflow run 107

• Rocq and Lean recheck legs for N-1..3, N-7..9 (PWG-2ii)

  completed successfully:
  CodeQL Security Analysis#106:Pull request#29stackedbyhyperpolymath
  claude/recheck-legs

  Nov 9, 202642s
  More actions for workflow run 106

• chore(template): sync the mint machinery to rsr-template-repo 2be7b88…

  completed successfully:
  CodeQL Security Analysis#105:Commit08e669dpushedbyhyperpolymath
  main

  Nov 9, 20267m 12s
  More actions for workflow run 105

• chore(template): sync the mint machinery to rsr-template-repo 2be7b88

  completed successfully:
  CodeQL Security Analysis#104:Pull request#28synchronizebyhyperpolymath
  claude/template-sync

  Nov 9, 20266m 24s
  More actions for workflow run 104

• proofs: meet --cubical-compatible; retire waiver W-1 (#30)

  completed successfully:
  CodeQL Security Analysis#103:Commit5cf0054pushedbyhyperpolymath
  main

  Nov 9, 20262m 10s
  More actions for workflow run 103

• chore(template): sync the mint machinery to rsr-template-repo 2be7b88

  completed successfully:
  CodeQL Security Analysis#102:Pull request#28synchronizebyhyperpolymath
  claude/template-sync

  Nov 9, 202640m 38s
  More actions for workflow run 102

• proofs: meet --cubical-compatible; retire waiver W-1

  completed successfully:
  CodeQL Security Analysis#101:Pull request#30synchronizebyhyperpolymath
  claude/awesome-wright-va45xo

  Nov 9, 202638m 38s
  More actions for workflow run 101

• chore(template): sync the mint machinery to rsr-template-repo 2be7b88

  completed successfully:
  CodeQL Security Analysis#100:Pull request#28synchronizebyhyperpolymath
  claude/template-sync

  Nov 9, 202638m 45s
  More actions for workflow run 100