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

Commits

Commits on Sep 10, 2026