build: remove more files from host on Docker build to avoid running out of disk space

Signed-off-by: deadprogram <ron@hybridgroup.com>
2026-08-04 02:57:46 +00:00 · 2024-02-06 21:23:41 +01:00
parent 0db1a4bec1
commit 413bb55e2c
1 changed files with 3 additions and 0 deletions
@@ -22,11 +22,14 @@ jobs:
      - name: Free Disk space
        shell: bash
        run: |
+          df -h
+          sudo rm -rf /opt/hostedtoolcache
          sudo rm -rf /usr/local/lib/android
          sudo rm -rf /usr/share/dotnet
          sudo rm -rf /opt/ghc
          sudo rm -rf /usr/local/graalvm
          sudo rm -rf /usr/local/share/boost
+          df -h
      - name: Check out the repo
        uses: actions/checkout@v4
        with: