chore: more disk space?

2026-09-20 10:07:26 -07:00
parent 67ca8a6aa8
commit a47663a735
1 changed files with 17 additions and 0 deletions
@@ -12,6 +12,23 @@ jobs:
    name: Test and lint (host)
    runs-on: ubuntu-latest
    steps:
      - name: Free up disk space
        run: |
              sudo df -h
              sudo du -hsc /usr/share/dotnet \
                           /usr/local/lib/android \
                           /opt/ghc \
                           /usr/local/share/boost \
                           "$AGENT_TOOLSDIRECTORY"
              sudo rm -rf /usr/share/dotnet \
                          /usr/local/lib/android \
                          /opt/ghc \
                          /usr/local/share/boost \
                          "$AGENT_TOOLSDIRECTORY"
              sudo df -h
      - uses: actions/checkout@v7
      - uses: dtolnay/rust-toolchain@stable
        with: