fix(scripts/dag_traversal.py): kill timed-out builds on Windows - #44403

fix(scripts/dag_traversal.py): kill timed-out builds on Windows#44403

zhikaip wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

zhikaip:windows_kill_buildzhikaip/mathlib4:windows_kill_buildCopy head branch name to clipboard