diff options
| author | Chris Denton <chris@chrisdenton.dev> | 2025-07-16 01:57:22 +0000 |
|---|---|---|
| committer | Chris Denton <chris@chrisdenton.dev> | 2025-07-16 03:15:06 +0000 |
| commit | 262d02e6fd1fd1b595f19ac33b4693e431c24832 (patch) | |
| tree | 339ee82299bfde4b5576e00d5879817d58113a6c /.github | |
| parent | 3014e79f9c8d5510ea7b3a3b70d171d0948b1e96 (diff) | |
| download | rust-262d02e6fd1fd1b595f19ac33b4693e431c24832.tar.gz rust-262d02e6fd1fd1b595f19ac33b4693e431c24832.zip | |
Ensure home directory exists
This works around a missing mingw home directory in CI
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e92afc14c20..dc8ac539a3a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -182,6 +182,11 @@ jobs: - name: install MinGW run: src/ci/scripts/install-mingw.sh + # Workaround for spurious ci failures after mingw install + # see https://rust-lang.zulipchat.com/#narrow/channel/242791-t-infra/topic/Spurious.20bors.20CI.20failures/near/528915775 + - name: ensure home dir exists + run: mkdir -p ~ + - name: install ninja run: src/ci/scripts/install-ninja.sh |