diff --git a/.github/workflows/pull_request.yaml b/.github/workflows/pull_request.yaml index fe265f42fe..cad948f5d4 100644 --- a/.github/workflows/pull_request.yaml +++ b/.github/workflows/pull_request.yaml @@ -29,13 +29,17 @@ jobs: sudo rm -rf /opt/ghc sudo rm -rf "/usr/local/share/boost" sudo rm -rf "$AGENT_TOOLSDIRECTORY" + echo "Free Space Before" + df -h - uses: actions/checkout@v4 - name: Clean out files part 2 run: | + echo "Free Space Before" + df -h rm -rf .git - echo "Free Space" + echo "Free Space After" df -h - name: env - better defaulting of env vars;