File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -182,11 +182,6 @@ jobs:
182182 - name : install MinGW
183183 run : src/ci/scripts/install-mingw.sh
184184
185- # Workaround for spurious ci failures after mingw install
186- # see https://rust-lang.zulipchat.com/#narrow/channel/242791-t-infra/topic/Spurious.20bors.20CI.20failures/near/528915775
187- - name : ensure home dir exists
188- run : mkdir -p ~
189-
190185 - name : install ninja
191186 run : src/ci/scripts/install-ninja.sh
192187
Original file line number Diff line number Diff line change @@ -43,4 +43,9 @@ if isWindows && isKnownToBeMingwBuild; then
4343 curl -o mingw.7z " ${MIRRORS_BASE} /${mingw_archive} "
4444 7z x -y mingw.7z > /dev/null
4545 ciCommandAddPath " $( cygpath -m " $( pwd) /${mingw_dir} /bin" ) "
46+
47+ # Initialize mingw for the user.
48+ # This should be done by github but isn't for some reason.
49+ # (see https://github.com/actions/runner-images/issues/12600)
50+ /c/msys64/usr/bin/bash -lc ' '
4651fi
You can’t perform that action at this time.
0 commit comments