Skip to content

Fix: remove_sub_pool should kill subprocess gracefully (#97) #63

Fix: remove_sub_pool should kill subprocess gracefully (#97)

Fix: remove_sub_pool should kill subprocess gracefully (#97) #63

Annotations

1 warning

lint (ubuntu-latest, 3.10)

succeeded Jul 30, 2024 in 48s