Coverage

Workflow runs for Coverage

• Coverage

  completed successfully:
  Coverage#400:Scheduled
  master

  Nov 7, 202640m 29s
  More actions for workflow run 400

• Coverage

  completed successfully:
  Coverage#399:Scheduled
  master

  Nov 6, 202637m 18s
  More actions for workflow run 399

• Merge pull request #276 from berkeleydb/test/dst-rt-libumem-4.3.2

  completed successfully:
  Coverage#398:Commit8792abapushedbygburd
  master

  Nov 5, 202641m 50s
  More actions for workflow run 398

• test/dst-rt: pin libumem 4.3.2 and run s3-umem under UMEM_DEBUG=default

  completed successfully:
  Coverage#397:Pull request#276openedbygburd
  test/dst-rt-libumem-4.3.2

  Nov 5, 202641m 30s
  More actions for workflow run 397

• Coverage

  completed successfully:
  Coverage#396:Scheduled
  master

  Nov 5, 202633m 42s
  More actions for workflow run 396

• Merge pull request #275 from berkeleydb/docs/release-records-2026-10-7-3

  completed successfully:
  Coverage#395:Commit85c0addpushedbygburd
  master

  Nov 5, 202650m 46s
  More actions for workflow run 395

• docs: carry the v2026.10.7.3 release records forward to master

  completed successfully:
  Coverage#394:Pull request#275openedbygburd
  docs/release-records-2026-10-7-3

  Nov 5, 202652m 9s
  More actions for workflow run 394

• [2026.10.7] release: libdb 2026.10.7.3 (LTS patch)

  completed successfully:
  Coverage#393:Pull request#271synchronizebygburd
  release/2026.10.7.3-final

  Nov 5, 202643m 9s
  More actions for workflow run 393

• [2026.10.7] release: libdb 2026.10.7.3 (LTS patch)

  completed successfully:
  Coverage#392:Pull request#271synchronizebygburd
  release/2026.10.7.3-final

  Nov 4, 202648m 56s
  More actions for workflow run 392

• [2026.10.7] release: libdb 2026.10.7.3 (LTS patch)

  cancelled:
  Coverage#391:Pull request#271synchronizebygburd
  release/2026.10.7.3-final

  Nov 4, 202650s
  More actions for workflow run 391

• Merge pull request #272 from berkeleydb/fix/leak-run-srcinc

  completed successfully:
  Coverage#390:Commit90ac62fpushedbygburd
  master

  Nov 4, 202639m 49s
  More actions for workflow run 390

• [2026.10.7] test/c: leak-run.sh puts src/ on the include path

  completed successfully:
  Coverage#389:Pull request#273openedbygburd
  backport/2026.10.7/leak-run-srcinc

  Nov 4, 202638m 57s
  More actions for workflow run 389

• test/c: leak-run.sh puts src/ on the include path

  completed successfully:
  Coverage#388:Pull request#272openedbygburd
  fix/leak-run-srcinc

  Nov 4, 202647m 24s
  More actions for workflow run 388

• [2026.10.7] release: libdb 2026.10.7.3 (LTS patch)

  completed successfully:
  Coverage#387:Pull request#271openedbygburd
  release/2026.10.7.3-final

  Nov 4, 202644m 46s
  More actions for workflow run 387

• Merge pull request #268 from berkeleydb/fix/lock-order-per-env

  completed successfully:
  Coverage#386:Commitdc5e6bcpushedbygburd
  master

  Nov 4, 202638m 58s
  More actions for workflow run 386

• Merge pull request #266 from berkeleydb/fix/rep-elect-datagen

  cancelled:
  Coverage#385:Commit2fd1c8dpushedbygburd
  master

  Nov 4, 202644m 36s
  More actions for workflow run 385

• Merge pull request #264 from berkeleydb/fix/bt-decompress-bounds

  cancelled:
  Coverage#384:Commitc7b9778pushedbygburd
  master

  Nov 4, 20264m 37s
  More actions for workflow run 384

• [2026.10.7] mutex: lock-order checker compares latches within one environment only

  completed successfully:
  Coverage#383:Pull request#269synchronizebygburd
  backport/2026.10.7/lock-order-per-env

  Nov 4, 202649m 54s
  More actions for workflow run 383

• mutex: lock-order checker compares latches within one environment only

  completed successfully:
  Coverage#382:Pull request#268synchronizebygburd
  fix/lock-order-per-env

  Nov 4, 202644m 13s
  More actions for workflow run 382

• [2026.10.7] mp: an SSI abort while dirtying a page is not an error to report

  completed successfully:
  Coverage#381:Pull request#270openedbygburd
  backport/2026.10.7/mp-dirty-ssi-noise

  Nov 4, 202651m 42s
  More actions for workflow run 381

• test/cbmc: expand CBMC coverage (RFC 0025)

  completed successfully:
  Coverage#380:Pull request#263synchronizebygburd
  test/cbmc-expand

  Nov 4, 202657m 47s
  More actions for workflow run 380

• [2026.10.7] mutex: lock-order checker compares latches within one environment only

  completed successfully:
  Coverage#379:Pull request#269synchronizebygburd
  backport/2026.10.7/lock-order-per-env

  Nov 4, 202650m 29s
  More actions for workflow run 379

• mutex: lock-order checker compares latches within one environment only

  completed successfully:
  Coverage#378:Pull request#268synchronizebygburd
  fix/lock-order-per-env

  Nov 4, 202642m 48s
  More actions for workflow run 378

• [2026.10.7] mutex: lock-order checker compares latches within one environment only

  completed successfully:
  Coverage#377:Pull request#269openedbygburd
  backport/2026.10.7/lock-order-per-env

  Nov 4, 202652m 35s
  More actions for workflow run 377

• mutex: lock-order checker compares latches within one environment only

  completed successfully:
  Coverage#376:Pull request#268openedbygburd
  fix/lock-order-per-env

  Nov 4, 202657m 34s
  More actions for workflow run 376