CodeQL

Workflow runs for CodeQL

• SEL-287: MCP extra's serve command does not match the pinned FastMC…

  skipped:
  CodeQL#373:Commit8f14dc0pushedbyPetrefiedThunder
  main

  Oct 19, 20261s
  More actions for workflow run 373

• SEL-287: MCP extra's serve command does not match the pinned FastMCP API

  skipped:
  CodeQL#372:Pull request#142synchronizebyPetrefiedThunder
  agent/codex/sel-287

  Oct 19, 20261s
  More actions for workflow run 372

• SEL-292: Ordinary test cleanup can erase an inherited database (#147)

  skipped:
  CodeQL#371:Commitd146973pushedbyPetrefiedThunder
  main

  Oct 19, 20261s
  More actions for workflow run 371

• SEL-290: Documented trust release check is absent from CI

  skipped:
  CodeQL#370:Pull request#148synchronizebyPetrefiedThunder
  agent/cursor/sel-290

  Oct 19, 202610s
  More actions for workflow run 370

• SEL-287: MCP extra's serve command does not match the pinned FastMCP API

  skipped:
  CodeQL#369:Pull request#142synchronizebyPetrefiedThunder
  agent/codex/sel-287

  Oct 19, 20267s
  More actions for workflow run 369

• SEL-285: Production image build copies a gitignored file that is not in the tree

  skipped:
  CodeQL#368:Pull request#143synchronizebyPetrefiedThunder
  agent/cursor/sel-285

  Oct 19, 20261s
  More actions for workflow run 368

• SEL-292: Ordinary test cleanup can erase an inherited database

  skipped:
  CodeQL#367:Pull request#147synchronizebyPetrefiedThunder
  agent/codex/sel-292

  Oct 19, 20261s
  More actions for workflow run 367

• SEL-280: Money/ledger models excluded from type checking (#139)

  skipped:
  CodeQL#366:Commit2548bbbpushedbyPetrefiedThunder
  main

  Oct 19, 20261s
  More actions for workflow run 366

• SEL-280: Money/ledger models excluded from type checking

  skipped:
  CodeQL#365:Pull request#139synchronizebyPetrefiedThunder
  agent/cursor/sel-280

  Oct 19, 20261s
  More actions for workflow run 365

• [audit-high] Gateway receipts accept bad outcomes and charged denials…

  skipped:
  CodeQL#364:Commit823f217pushedbyPetrefiedThunder
  main

  Oct 19, 202610s
  More actions for workflow run 364

• [audit-high] Gateway receipts accept bad outcomes and charged denials

  skipped:
  CodeQL#363:Pull request#38synchronizebyPetrefiedThunder
  metacode/brk-gw-receipts

  Oct 19, 20261s
  More actions for workflow run 363

• SEL-276: Published Python SDK is never type-checked; default mypy fin…

  skipped:
  CodeQL#362:Commit6e09e06pushedbyPetrefiedThunder
  main

  Oct 19, 202610s
  More actions for workflow run 362

• SEL-291: PostgreSQL trust regressions are skipped in CI

  skipped:
  CodeQL#361:Pull request#145synchronizebyPetrefiedThunder
  agent/cursor/sel-291

  Oct 19, 20264s
  More actions for workflow run 361

• SEL-276: Published Python SDK is never type-checked; default mypy finds 17 errors

  skipped:
  CodeQL#360:Pull request#137synchronizebyPetrefiedThunder
  agent/codex/sel-276

  Oct 19, 202610s
  More actions for workflow run 360

• SEL-280: Money/ledger models excluded from type checking

  skipped:
  CodeQL#359:Pull request#139synchronizebyPetrefiedThunder
  agent/cursor/sel-280

  Oct 19, 202610s
  More actions for workflow run 359

• SEL-286: Gateway images omit b2a_sdk, so app import crashes (#127)

  skipped:
  CodeQL#358:Commitdc41290pushedbyPetrefiedThunder
  main

  Oct 19, 202611s
  More actions for workflow run 358

• SEL-297: TypeScript offline verifier rejects genuine receipts whose signed payload contains floats or large integers

  skipped:
  CodeQL#357:Pull request#126synchronizebyPetrefiedThunder
  agent/muse/sel-297

  Oct 19, 20262s
  More actions for workflow run 357

• [audit-high] Gateway receipts accept bad outcomes and charged denials

  skipped:
  CodeQL#356:Pull request#38synchronizebyPetrefiedThunder
  metacode/brk-gw-receipts

  Oct 19, 20261s
  More actions for workflow run 356

• SEL-282: Gateway ruff gate enforces only Pyflakes (F)

  skipped:
  CodeQL#355:Pull request#149synchronizebyPetrefiedThunder
  agent/grok/sel-282

  Oct 19, 20262s
  More actions for workflow run 355

• SEL-287: MCP extra's serve command does not match the pinned FastMCP API

  skipped:
  CodeQL#354:Pull request#142synchronizebyPetrefiedThunder
  agent/codex/sel-287

  Oct 19, 20262s
  More actions for workflow run 354

• SEL-286: Gateway images omit b2a_sdk, so app import crashes

  skipped:
  CodeQL#353:Pull request#127synchronizebyPetrefiedThunder
  agent/grok/sel-286

  Oct 19, 20261s
  More actions for workflow run 353

• [audit-high] Gateway receipts accept bad outcomes and charged denials

  skipped:
  CodeQL#352:Pull request#38synchronizebyPetrefiedThunder
  metacode/brk-gw-receipts

  Oct 19, 20262s
  More actions for workflow run 352

• [audit-high] Gateway receipts accept bad outcomes and charged denials

  skipped:
  CodeQL#351:Pull request#38synchronizebyPetrefiedThunder
  metacode/brk-gw-receipts

  Oct 19, 20261s
  More actions for workflow run 351

• Break AMW gateway billing and wallets (#30)

  skipped:
  CodeQL#350:Commit6f51d23pushedbyPetrefiedThunder
  main

  Oct 19, 20262s
  More actions for workflow run 350

• [audit-high] Engine-level amount validation gaps in wallet creation and transfers

  skipped:
  CodeQL#349:Pull request#30synchronizebyPetrefiedThunder
  metacode/brk-gw-billing

  Oct 19, 20261s
  More actions for workflow run 349