Skip to content

fix[next]: exit compile-pool workers when their parent dies - #2870

Draft
havogt wants to merge 1 commit into
GridTools:mainfrom
havogt:pool-leak
Draft

fix[next]: exit compile-pool workers when their parent dies#2870
havogt wants to merge 1 commit into
GridTools:mainfrom
havogt:pool-leak

fix[next]: exit compile-pool workers when their parent dies

19b3ea8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
get-python-versions
succeeded Sep 10, 2026 in 7s