Initialize mingw for the runner's user

This commit is contained in:
Chris Denton 2025-07-19 22:05:25 +00:00
parent f63685ddf3
commit db1449aed5
No known key found for this signature in database
GPG key ID: 713472F2F45627DE
2 changed files with 5 additions and 5 deletions

View file

@ -182,11 +182,6 @@ 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