From d0a131fac91194f68fb0a32b152fc241e2b7746b Mon Sep 17 00:00:00 2001 From: Jacob Date: Wed, 23 Oct 2024 16:50:28 +0800 Subject: [PATCH] Update pull_request.yaml Gotta check stuff. :| --- .github/workflows/pull_request.yaml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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;