Revert disk clean up in GitHub Actions CI workflow

This reverts the actual change of db65742dbc (Remove some files on
GitHub Action runner to free up some space, 2024-03-16), while keeping
the "df" command just in case, as we were not really running out of disk
space and the error messages about it were a red herring.

The real problem will be fixed by the next commit.
This commit is contained in:
Vadim Zeitlin
2024-03-16 09:52:22 +01:00
parent db65742dbc
commit d13aba4bba
-3
View File
@@ -252,9 +252,6 @@ jobs:
echo "wxMAKEFILE_CXXFLAGS=$wxMAKEFILE_CXXFLAGS $error_opts" >> $GITHUB_ENV
# Remove some unnecessary files to ensure we have enough free space.
sudo rm -rf "AGENT_TOOLSDIRECTORY" /usr/share/dotnet
./build/tools/before_install.sh
- name: Show build environment