Skip to content

Make the pre-push script work on directories with spaces#105853

Merged
bors merged 1 commit into
rust-lang:masterfrom
jyn514:prepush-windows
Dec 23, 2022
Merged

Make the pre-push script work on directories with spaces#105853
bors merged 1 commit into
rust-lang:masterfrom
jyn514:prepush-windows

Make the pre-push script work on directories with spaces

c754d05
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs