diff options
| author | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2025-08-14 12:38:35 +0200 |
|---|---|---|
| committer | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2025-08-14 12:38:35 +0200 |
| commit | 75b7d24a985ef9f6bab00414752dd74ceb47d114 (patch) | |
| tree | 6839c59a5be1b28e5dc881f759120accb9a297e7 /.github | |
| parent | a1531335fe2807715fff569904d99602022643a7 (diff) | |
| download | rust-75b7d24a985ef9f6bab00414752dd74ceb47d114.tar.gz rust-75b7d24a985ef9f6bab00414752dd74ceb47d114.zip | |
ci: clean windows disk space in background
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 6ce543071d8..cee987dbf12 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -223,6 +223,11 @@ jobs: cd src/ci/citool CARGO_INCREMENTAL=0 CARGO_TARGET_DIR=../../../build/citool cargo build + - name: wait for Windows disk cleanup to finish + if: ${{ matrix.free_disk && startsWith(matrix.os, 'windows-') }} + run: | + python3 src/ci/scripts/free-disk-space-windows-wait.py + - name: run the build run: | set +e |