Repository navigation

refactor(pooling): replace infinity_pool with plurality - #803

Merged

martintmk merged 11 commits into

mainfrom

martintmk-replace-infinity-pool

Oct 12, 2026

Merged

refactor(pooling): replace infinity_pool with plurality#803
martintmk merged 11 commits into
mainfrom
martintmk-replace-infinity-pool

Commits on Oct 8, 2026
- refactor(pooling): replace infinity_pool with plurality
  martintmk
  committed
  20430e5
- docs(plurality): qualify performance report scope
  martintmk
  committed
  e37e36d
- fix(arty-executor): reclaim tasks during dirty teardown
  martintmk
  committed
  a0ad088
- test(arty-executor): cover dirty task reclamation
  martintmk
  committed
  d2d73a9
Commits on Oct 9, 2026
- fix(arty-executor): retain live tasks on dirty drop
  martintmk
  committed
  8e68030
- docs(arty-executor): correct new-task drop invariant
  martintmk
  committed
  fa3bd32
- docs(pooling): clarify teardown fixtures and benchmarks
  martintmk
  committed
  300ebe2
- fix(arty-executor): preserve unwind panic during teardown
  martintmk
  committed
  016b388
- test(arty-executor): align teardown fixture names
  martintmk
  committed
  9dfeac6
- fix(arty_executor): clean up after timeout test panic
  
  Copilot
  and
  martintmk
  authored
  8cdb5c9
Commits on Oct 12, 2026
- test(arty-executor): tighten shutdown timeout coverage
  martintmk
  committed
  c545f2e