different strategy to free up disk space

This commit is contained in:
Donato Capitella
2025-08-06 10:39:09 +01:00
parent 4973b79e91
commit 70460248f7
+11 -2
View File
@@ -48,8 +48,17 @@ jobs:
backend: ${{ fromJson(needs.prepare.outputs.matrix_json) }} backend: ${{ fromJson(needs.prepare.outputs.matrix_json) }}
steps: steps:
- name: Maximize build disk space - name: Free up runner disk space
uses: crazy-max/ghaction-disk-space@v1 run: |
echo "Before cleanup:" && df -h /
sudo rm -rf \
/usr/share/dotnet \
/usr/local/lib/android \
/opt/ghc \
/opt/hostedtoolcache/CodeQL
docker system prune --all --force
docker builder prune --all --force
echo "After cleanup:" && df -h /
- name: Check out repository - name: Check out repository
uses: actions/checkout@v3 uses: actions/checkout@v3