CodeQL

Workflow runs for CodeQL

• CodeQL

  completed successfully:
  CodeQL#4183:Scheduled
  main

  Nov 8, 202610m 41s
  More actions for workflow run 4183

• Reduce memory used at the time of snapshot generation (#8689)

  completed successfully:
  CodeQL#4182:Commit6404230pushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202615m 0s
  More actions for workflow run 4182

• Add per-sink Fluentd tag allow lists (#8668)

  completed successfully:
  CodeQL#4181:Commit83d2409pushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202610m 36s
  More actions for workflow run 4181

• Upgrade testssl to v3.2.5 (#8697)

  completed successfully:
  CodeQL#4180:Commit13fcdd5pushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202615m 34s
  More actions for workflow run 4180

• Create PQ service cert when starting or recovering with OpenSSL 3.5 (…

  completed successfully:
  CodeQL#4179:Commit44bc4e5pushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202610m 31s
  More actions for workflow run 4179

• Lean consensus: ~2.5x faster proof checking, proofs only (#8695)

  completed successfully:
  CodeQL#4178:Commit3a56893pushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202610m 14s
  More actions for workflow run 4178

• Improve documentation rendering, navigation, and publishing (#8648)

  completed successfully:
  CodeQL#4177:Commitba2bc75pushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202621m 34s
  More actions for workflow run 4177

• Remove alignment padding from agent guidance tables (#8682)

  cancelled:
  CodeQL#4176:Commit43a28efpushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202614m 53s
  More actions for workflow run 4176

• Collect changelog entries from isolated change descriptions (#8685)

  completed successfully:
  CodeQL#4175:Commit3663420pushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202612m 47s
  More actions for workflow run 4175

• Serialize bucketed index rebuilds with indexing updates (#8684)

  completed successfully:
  CodeQL#4174:Commit185cf31pushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202613m 31s
  More actions for workflow run 4174

• Lean consistency: witnesses for gaps found by mutation testing (#8683)

  completed successfully:
  CodeQL#4173:Commit99c565epushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202610m 30s
  More actions for workflow run 4173

• Lean disaster recovery: ~1.9x faster proof checking, proofs only (#8691)

  completed successfully:
  CodeQL#4172:Commit524656cpushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 202610m 29s
  More actions for workflow run 4172

• Lean KV: ~1.7x faster proof checking, proofs only (#8687)

  completed successfully:
  CodeQL#4171:Commit79db4e8pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202615m 36s
  More actions for workflow run 4171

• Remove TLA+ specifications and associated tooling (#8663)

  completed successfully:
  CodeQL#4170:Commit3bab46epushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202610m 2s
  More actions for workflow run 4170

• Add outbound TLS connections with a shared OpenSSL engine (#8637)

  completed successfully:
  CodeQL#4169:Commite173bb2pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202614m 34s
  More actions for workflow run 4169

• Add flushing to Python Merkle trees (#8665)

  cancelled:
  CodeQL#4168:Commitdf5acaapushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20262m 57s
  More actions for workflow run 4168

• Support multiple Fluentd exporters with nonblocking delivery (#8666)

  cancelled:
  CodeQL#4167:Commitb7eec41pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20264m 38s
  More actions for workflow run 4167

• lean: Align KV specs with module guidelines (#8681)

  completed successfully:
  CodeQL#4166:Commitf34d6d4pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202611m 22s
  More actions for workflow run 4166

• Enable strict Pyright checks for the CCF Python package (#8675)

  cancelled:
  CodeQL#4165:Commita9a9df3pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20263m 10s
  More actions for workflow run 4165

• Lean consistency: ~2.5x faster proof checking, proofs only (#8680)

  completed successfully:
  CodeQL#4164:Commite15edc0pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202610m 15s
  More actions for workflow run 4164

• Harden CCF COSE receipts for the draft -06 profile (#8646)

  completed successfully:
  CodeQL#4163:Commit9e50823pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202610m 0s
  More actions for workflow run 4163

• Lean KV: ~5x faster proof checking, proofs only (#8672)

  completed successfully:
  CodeQL#4162:Commit90b325fpushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202610m 8s
  More actions for workflow run 4162

• Lean consensus: ~3.3x less CPU, -38% wall for proof checking, proofs …

  completed successfully:
  CodeQL#4161:Commit51eeda8pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202610m 27s
  More actions for workflow run 4161

• Lean disaster recovery: ~4x faster proof checking, proofs only (#8669)

  cancelled:
  CodeQL#4160:Commit4a08002pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202653s
  More actions for workflow run 4160

• Lean consistency: ~2x faster proof checking, proofs only (#8670)

  cancelled:
  CodeQL#4159:Commit8505677pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20263m 28s
  More actions for workflow run 4159