CodeQL

Workflow runs for CodeQL

• Vault revocation census and docstrings: the two Vault client sites are recorded as guarded, and the hop docstrings point at the pins (BACKLOG #3587, #3489)

  currently running:
  CodeQL#12022:Pull request#2586openedbywshallwshall
  b342-wave-vault

  Oct 27, 2026In progress
  More actions for workflow run 12022

• CRL signature check at start refuses a CRL its named CA proves bad beside an unchecked CA with no SKI (vault BACKLOG #4159)

  completed successfully:
  CodeQL#12021:Pull request#2585openedbywshallwshall
  b252-4159-crl-mixed

  Oct 27, 20264m 59s
  More actions for workflow run 12021

• One service-name guard, matched whole, on every elevated path (BACKLO…

  completed successfully:
  CodeQL#12020:Commit83ad747pushedbygithub-merge-queue[bot]Bot
  main

  Oct 27, 20264m 45s
  More actions for workflow run 12020

• MLLP TLS uvloop remainder: source-verified reason the upgrade stays s…

  completed successfully:
  CodeQL#12019:Commit36c812fpushedbygithub-merge-queue[bot]Bot
  main

  Oct 27, 20266m 22s
  More actions for workflow run 12019

• CodeQL

  skipped:
  CodeQL#12018:Merge group checks requested
  Oct 27, 202610s
  More actions for workflow run 12018

• CodeQL

  skipped:
  CodeQL#12017:Merge group checks requested
  Oct 27, 202611s
  More actions for workflow run 12017

• CodeQL

  skipped:
  CodeQL#12016:Merge group checks requested
  Oct 27, 20261s
  More actions for workflow run 12016

• CodeQL

  skipped:
  CodeQL#12015:Merge group checks requested
  Oct 27, 20261s
  More actions for workflow run 12015

• CodeQL

  skipped:
  CodeQL#12014:Merge group checks requested
  Oct 27, 202612s
  More actions for workflow run 12014

• CodeQL

  skipped:
  CodeQL#12013:Merge group checks requested
  Oct 27, 20261s
  More actions for workflow run 12013

• CodeQL

  skipped:
  CodeQL#12012:Merge group checks requested
  Oct 27, 20261s
  More actions for workflow run 12012

• CodeQL

  skipped:
  CodeQL#12011:Merge group checks requested
  Oct 27, 20261s
  More actions for workflow run 12011

• CodeQL

  skipped:
  CodeQL#12010:Merge group checks requested
  Oct 27, 20268s
  More actions for workflow run 12010

• TOTP enrolment race test over two live HTTP requests (BACKLOG #3025) …

  completed successfully:
  CodeQL#12009:Commit7f8d244pushedbygithub-merge-queue[bot]Bot
  main

  Oct 27, 20268m 8s
  More actions for workflow run 12009

• Remove the dead proxy_proven parameter (BACKLOG #3514 item 5) (#2578)

  completed successfully:
  CodeQL#12008:Commitcb28fb2pushedbygithub-merge-queue[bot]Bot
  main

  Oct 27, 20265m 24s
  More actions for workflow run 12008

• CRL signature check at start keeps verdicts past a failure, judges no…

  completed successfully:
  CodeQL#12007:Commitcae4e1apushedbygithub-merge-queue[bot]Bot
  main

  Oct 27, 20265m 26s
  More actions for workflow run 12007

• ADR 0207 accepted with Amendment A: the enrolment code is the factorless re-proof once the directory re-bind goes (BACKLOG #1137)

  completed successfully:
  CodeQL#12006:Pull request#2584synchronizebywshallwshall
  b447-adr0207-amend

  Oct 27, 20267m 5s
  More actions for workflow run 12006

• Six operator-doc sentences on sign-in and step-up match the auth code (BACKLOG #1133)

  completed successfully:
  CodeQL#12005:Pull request#2577synchronizebywshallwshall
  b447-1133-doc-sentences

  Oct 27, 20265m 0s
  More actions for workflow run 12005

• CI: the SQL Server certificate pin test runs on the 2025 leg against a strict server, with the certificate untrusted and trusted (BACKLOG #3714 items 6, 8)

  completed successfully:
  CodeQL#12004:Pull request#2579synchronizebywshallwshall
  b342-3714b

  Oct 27, 20267m 34s
  More actions for workflow run 12004

• ADR 0201 slice 5: ADR 0030 proposes the anon/ move and corrects its harness-import sentence (BACKLOG #1192)

  completed successfully:
  CodeQL#12003:Pull request#2580synchronizebywshallwshall
  b448-1192-slice-5

  Oct 27, 20267m 24s
  More actions for workflow run 12003

• File inbound .processed archives get a default-on 30-day age bound (BACKLOG #1188)

  completed successfully:
  CodeQL#12002:Pull request#2581synchronizebywshallwshall
  b447-1188-processed-age-bound

  Oct 27, 20267m 40s
  More actions for workflow run 12002

• Batch 448: connection editor FieldDescriptor value and defaultValue are optional; messagefoundry-toolkit is a published distribution (BACKLOG #1123, #1192)

  completed successfully:
  CodeQL#12001:Pull request#2582synchronizebywshallwshall
  batch/b448

  Oct 27, 20267m 36s
  More actions for workflow run 12001

• CodeQL

  skipped:
  CodeQL#12000:Merge group checks requested
  Oct 27, 20262s
  More actions for workflow run 12000

• CodeQL

  skipped:
  CodeQL#11999:Merge group checks requested
  Oct 27, 20261s
  More actions for workflow run 11999

• CodeQL

  skipped:
  CodeQL#11998:Merge group checks requested
  Oct 27, 20261s
  More actions for workflow run 11998