Skip to content

Commit 231257f

Browse files
committed
Auto merge of #144003 - ChrisDenton:ci4, r=ChrisDenton
Ensure home directory exists This works around a missing mingw home directory in CI.
2 parents 3014e79 + 262d02e commit 231257f

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
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

0 commit comments

Comments
 (0)