Skip to content

Commit 7d0e05d

Browse files
ChrisDentoncuviper
authored andcommitted
Ensure home directory exists
This works around a missing mingw home directory in CI (cherry picked from commit 262d02e)
1 parent 0648a43 commit 7d0e05d

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
@@ -190,6 +190,11 @@ jobs:
190190
- name: install MinGW
191191
run: src/ci/scripts/install-mingw.sh
192192

193+
# Workaround for spurious ci failures after mingw install
194+
# see https://rust-lang.zulipchat.com/#narrow/channel/242791-t-infra/topic/Spurious.20bors.20CI.20failures/near/528915775
195+
- name: ensure home dir exists
196+
run: mkdir -p ~
197+
193198
- name: install ninja
194199
run: src/ci/scripts/install-ninja.sh
195200

0 commit comments

Comments
 (0)