Repository navigation

Fix hanging thread pool - #184

Merged

woutdenolf merged 2 commits into

mainfrom

fix_hanging_thread_pool

Oct 10, 2026

Merged

Fix hanging thread pool#184
woutdenolf merged 2 commits into
mainfrom
fix_hanging_thread_pool

Commits on Oct 10, 2026
- test coverage for fast cyclic workflows with all ppf pool types
  woutdenolf
  committed
  06fac40
- bump version to 3.1.0rc2
  woutdenolf
  committed
  a9a9274