Python checks

Workflow runs for Python checks

• [Core] Add step-gated record drain and build rings on use (#168)

  completed successfully:
  Python checks#385:Commite98a9ffpushedbyXbzOnGit
  main

  Oct 14, 202612m 41s
  More actions for workflow run 385

• [Core] Add step-gated record drain and build rings on use

  completed successfully:
  Python checks#384:Pull request#168synchronizebyXbzOnGit
  step-gated-drain

  Oct 14, 202612m 55s
  More actions for workflow run 384

• [Core] Add step-gated record drain and build rings on use

  completed successfully:
  Python checks#383:Pull request#168openedbyXbzOnGit
  step-gated-drain

  Oct 14, 202612m 49s
  More actions for workflow run 383

• Check the lease before a cycle's first chunk too, not only the later ones

  completed successfully:
  Python checks#382:Pull request#167openedbyzaoxing
  fix/first-chunk-lease-check

  Oct 6, 202612m 55s
  More actions for workflow run 382

• Owe a reconcile pass that did not finish, and run it again from the loop

  completed successfully:
  Python checks#381:Pull request#166openedbyzaoxing
  fix/owe-failed-reconcile

  Oct 6, 202613m 12s
  More actions for workflow run 381

• Look at the sibling spools again whether or not the last look found a live one

  completed successfully:
  Python checks#380:Pull request#165openedbyzaoxing
  fix/rescan-sibling-spools

  Oct 6, 202614m 10s
  More actions for workflow run 380

• End a refusal run at a claim that was sent, not only at our own late row

  completed successfully:
  Python checks#379:Pull request#164openedbyzaoxing
  fix/latch-reset-on-sent-claim

  Oct 6, 202613m 17s
  More actions for workflow run 379

• One owner per spool directory; adopt a crashed process's spool; refus…

  completed successfully:
  Python checks#378:Commit5b3b632pushedbyzaoxing
  main

  Sep 30, 202613m 9s
  More actions for workflow run 378

• One owner per spool directory; adopt a crashed process's spool; refuse shared filesystems

  completed successfully:
  Python checks#377:Pull request#163openedbyzaoxing
  feat/spool-owner-lock

  Sep 30, 202611m 39s
  More actions for workflow run 377

• close() delivers the tail pack; flush() and stop() return on time whi…

  completed successfully:
  Python checks#376:Commit0e1a112pushedbyzaoxing
  main

  Sep 29, 202611m 30s
  More actions for workflow run 376

• close() delivers the tail pack; flush() and stop() return on time while the store or catalog stalls

  completed successfully:
  Python checks#375:Pull request#162openedbyzaoxing
  feat/close-flush-backstop

  Sep 29, 202610m 40s
  More actions for workflow run 375

• Rank a capture's packs by their first publish so a replayed pack cann…

  completed successfully:
  Python checks#374:Commitd3fe7c2pushedbyzaoxing
  main

  Sep 28, 202610m 17s
  More actions for workflow run 374

• Eager safety net: flush when the task ring is full, not only the payl…

  completed successfully:
  Python checks#373:Commit20b58b4pushedbyzaoxing
  main

  Sep 28, 20268m 53s
  More actions for workflow run 373

• Rank a capture's packs by their first publish so a replayed pack cannot flip a pinned read

  completed successfully:
  Python checks#372:Pull request#161openedbyzaoxing
  fix/pinned-read-first-publish

  Sep 28, 202610m 55s
  More actions for workflow run 372

• Eager safety net: flush when the task ring is full, not only the payload

  completed successfully:
  Python checks#371:Pull request#160openedbyzaoxing
  fix/eager-task-ring-flush

  Sep 28, 202610m 15s
  More actions for workflow run 371

• Bound how long the publisher lease can go unrenewed: a deadline for e…

  completed successfully:
  Python checks#370:Commit8b7991dpushedbyzaoxing
  main

  Sep 28, 202610m 15s
  More actions for workflow run 370

• Bound how long the publisher lease can go unrenewed: a deadline for every request under it

  completed successfully:
  Python checks#369:Pull request#159openedbyzaoxing
  fix/bound-lease-requests

  Sep 28, 202610m 22s
  More actions for workflow run 369

• Take the formal specs off main (#158)

  completed successfully:
  Python checks#368:Commit3f59db5pushedbyzaoxing
  main

  Sep 28, 20268m 7s
  More actions for workflow run 368

• Take the formal specs off main

  completed successfully:
  Python checks#367:Pull request#158openedbyzaoxing
  revert/formal-specs

  Sep 28, 20268m 22s
  More actions for workflow run 367

• Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span ar…

  completed successfully:
  Python checks#366:Commit71e6663pushedbyzaoxing
  main

  Sep 28, 20267m 21s
  More actions for workflow run 366

• Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span arithmetic

  completed successfully:
  Python checks#365:Pull request#157openedbyzaoxing
  specs/lease-allocator-ring-models

  Sep 28, 20268m 3s
  More actions for workflow run 365

• Say what the lease comments actually guarantee (#154)

  completed successfully:
  Python checks#364:Commit99ee4aepushedbyzaoxing
  main

  Sep 28, 20267m 27s
  More actions for workflow run 364

• Say what the lease comments actually guarantee

  completed successfully:
  Python checks#363:Pull request#154reopenedbyzaoxing
  claude/lease-comment-corrections

  Sep 28, 20266m 47s
  More actions for workflow run 363

• Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span arithmetic

  completed successfully:
  Python checks#362:Pull request#153reopenedbyzaoxing
  claude/formal-specs

  Sep 28, 20267m 45s
  More actions for workflow run 362

• Rank a capture's packs by publish version so a replayed pack cannot flip a pinned read

  completed successfully:
  Python checks#361:Pull request#156synchronizebyclaude[bot]Bot
  claude/reindex-pinned-reader

  Sep 26, 20267m 42s
  More actions for workflow run 361