CodeQL

Workflow runs for CodeQL

• test(cli): add a top-K microbenchmark

  completed successfully:
  CodeQL#1323:Commitf9a3e53pushedbyerimatnor
  main

  Oct 21, 20263m 56s
  More actions for workflow run 1323

• fix(rerank): take the buffer share lock around heap item reads

  skipped:
  CodeQL#1322:Pull request#381synchronizebypavanmanishd
  pavanmanishd:fix/rerank-page-lock

  Oct 20, 20262s
  More actions for workflow run 1322

• fix(cost): refuse the index path when the pool cannot cover the demand

  skipped:
  CodeQL#1321:Pull request#383synchronizebypavanmanishd
  pavanmanishd:fix/scan-pool-demand-cost

  Oct 20, 20262s
  More actions for workflow run 1321

• fix(rerank): take the buffer share lock around heap item reads

  skipped:
  CodeQL#1320:Pull request#381synchronizebypavanmanishd
  pavanmanishd:fix/rerank-page-lock

  Oct 20, 20261s
  More actions for workflow run 1320

• perf(rerank): select the best pool entries in one pass

  skipped:
  CodeQL#1319:Pull request#380synchronizebypavanmanishd
  pavanmanishd:perf/rerank-select

  Oct 20, 20261s
  More actions for workflow run 1319

• perf(topk): sort the extract with a radix sort

  skipped:
  CodeQL#1318:Pull request#379synchronizebypavanmanishd
  pavanmanishd:perf/extract-radix-sort

  Oct 20, 202610s
  More actions for workflow run 1318

• fix(scan): do not crash on a NULL query vector

  skipped:
  CodeQL#1317:Pull request#378synchronizebypavanmanishd
  pavanmanishd:bugfix/null-query-vector

  Oct 20, 20269s
  More actions for workflow run 1317

• fix(rerank): take the buffer share lock around heap item reads

  skipped:
  CodeQL#1316:Pull request#381synchronizebypavanmanishd
  pavanmanishd:fix/rerank-page-lock

  Oct 19, 20261s
  More actions for workflow run 1316

• perf(rerank): select the best pool entries in one pass

  skipped:
  CodeQL#1315:Pull request#380synchronizebypavanmanishd
  pavanmanishd:perf/rerank-select

  Oct 19, 20261s
  More actions for workflow run 1315

• fix(rerank): take the buffer share lock around heap item reads

  skipped:
  CodeQL#1314:Pull request#381synchronizebypavanmanishd
  pavanmanishd:fix/rerank-page-lock

  Oct 19, 20261s
  More actions for workflow run 1314

• perf(topk): sort the extract with a radix sort

  skipped:
  CodeQL#1313:Pull request#379synchronizebypavanmanishd
  pavanmanishd:perf/extract-radix-sort

  Oct 19, 20261s
  More actions for workflow run 1313

• perf(rerank): select the best pool entries in one pass

  skipped:
  CodeQL#1312:Pull request#380synchronizebypavanmanishd
  pavanmanishd:perf/rerank-select

  Oct 19, 20268s
  More actions for workflow run 1312

• fix(cost): refuse the index path when the pool cannot cover the demand

  skipped:
  CodeQL#1311:Pull request#383synchronizebypavanmanishd
  pavanmanishd:fix/scan-pool-demand-cost

  Oct 19, 20261s
  More actions for workflow run 1311

• fix(scan): do not crash on a NULL query vector

  skipped:
  CodeQL#1310:Pull request#378synchronizebypavanmanishd
  pavanmanishd:bugfix/null-query-vector

  Oct 19, 20261s
  More actions for workflow run 1310

• perf(rerank): select the best pool entries in one pass

  skipped:
  CodeQL#1309:Pull request#380synchronizebypavanmanishd
  pavanmanishd:perf/rerank-select

  Oct 19, 20261s
  More actions for workflow run 1309

• perf(topk): sort the extract with a radix sort

  skipped:
  CodeQL#1308:Pull request#379synchronizebypavanmanishd
  pavanmanishd:perf/extract-radix-sort

  Oct 19, 20268s
  More actions for workflow run 1308

• perf(topk): sort the extract with a radix sort

  skipped:
  CodeQL#1307:Pull request#379synchronizebypavanmanishd
  pavanmanishd:perf/extract-radix-sort

  Oct 19, 20261s
  More actions for workflow run 1307

• CodeQL

  completed successfully:
  CodeQL#1306:Scheduled
  main

  Oct 19, 20263m 40s
  More actions for workflow run 1306

• fix(cost): refuse the index path when the pool cannot cover the demand

  skipped:
  CodeQL#1305:Pull request#383synchronizebypavanmanishd
  pavanmanishd:fix/scan-pool-demand-cost

  Oct 18, 20261s
  More actions for workflow run 1305

• perf(rerank): select the best pool entries in one pass

  skipped:
  CodeQL#1304:Pull request#380synchronizebypavanmanishd
  pavanmanishd:perf/rerank-select

  Oct 18, 2026Skipped
  More actions for workflow run 1304

• perf(topk): sort the extract with a radix sort

  skipped:
  CodeQL#1303:Pull request#379synchronizebypavanmanishd
  pavanmanishd:perf/extract-radix-sort

  Oct 18, 20261s
  More actions for workflow run 1303

• fix(cost): refuse the index path when the pool cannot cover the demand

  skipped:
  CodeQL#1302:Pull request#383synchronizebypavanmanishd
  pavanmanishd:fix/scan-pool-demand-cost

  Oct 18, 20261s
  More actions for workflow run 1302

• fix(scan): do not crash on a NULL query vector

  skipped:
  CodeQL#1301:Pull request#378synchronizebypavanmanishd
  pavanmanishd:bugfix/null-query-vector

  Oct 18, 20261s
  More actions for workflow run 1301

• perf(topk): sort the extract with a radix sort

  skipped:
  CodeQL#1300:Pull request#379synchronizebypavanmanishd
  pavanmanishd:perf/extract-radix-sort

  Oct 18, 20269s
  More actions for workflow run 1300

• fix(rerank): take the buffer share lock around heap item reads

  skipped:
  CodeQL#1299:Pull request#381synchronizebypavanmanishd
  pavanmanishd:fix/rerank-page-lock

  Oct 18, 20261s
  More actions for workflow run 1299