Skip to content
Run mypy_primer

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

Sign in to view logs

Fix race: delete worker options file only after workers exit

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run mypy_primer (4)
11m 37s
Run mypy_primer (2)
20m 27s
Run mypy_primer (1)
13m 59s
Run mypy_primer (5)
10m 58s
Run mypy_primer (3)
16m 56s
Run mypy_primer (0)
15m 33s
Join artifacts
6s
1h 29m 36s