Skip to content

Fix race: delete worker options file only after workers exit - #22020

Open
Dextheking1 wants to merge 1 commit into
python:masterfrom
Dextheking1:fix/worker-options-race
Open

Fix race: delete worker options file only after workers exit#22020
Dextheking1 wants to merge 1 commit into
python:masterfrom
Dextheking1:fix/worker-options-race

Fix race: delete worker options file only after workers exit (#21974)

8ba74f7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Test mypyc suite with 32-bit Python
succeeded Sep 21, 2026 in 14m 5s