Skip to content

Commit 809243e

Browse files
committed
Update install-mingw.sh
1 parent fa67662 commit 809243e

File tree

2 files changed

+5
-4
lines changed

2 files changed

+5
-4
lines changed

.github/workflows/ci.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -182,6 +182,11 @@ 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+
185190
- name: install ninja
186191
run: src/ci/scripts/install-ninja.sh
187192

src/ci/scripts/install-mingw.sh

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -43,8 +43,4 @@ 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-
# Workaround for spurious ci failures
48-
# see https://rust-lang.zulipchat.com/#narrow/channel/242791-t-infra/topic/Spurious.20bors.20CI.20failures/near/528915775
49-
mkdir /c/msys64/home/runneradmin
5046
fi

0 commit comments

Comments
 (0)