Skip to content

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

Open
zhikaip wants to merge 1 commit into
leanprover-community:masterfrom
zhikaip:windows_kill_build
Open

fix(scripts/dag_traversal.py): kill timed-out builds on Windows#44403
zhikaip wants to merge 1 commit into
leanprover-community:masterfrom
zhikaip:windows_kill_build

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

9c320c4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
label-and-report-new-contributor
succeeded Oct 1, 2026 in 8s