diff --git a/.github/workflows/pull-request.yaml b/.github/workflows/pull-request.yaml index ef39f4ca4..9f3d1b7bf 100644 --- a/.github/workflows/pull-request.yaml +++ b/.github/workflows/pull-request.yaml @@ -48,16 +48,14 @@ jobs: sudo rm -rf "$AGENT_TOOLSDIRECTORY" sudo rm -rf /usr/local/lib/android sudo rm -rf /opt/ghc + sudo rm -rf /usr/local/lib/android + sudo rm -rf /opt/hostedtoolcache/CodeQL + sudo rm -rf /opt/hostedtoolcache/Python - name: Check system storage run: | sudo df -h - name: Checkout uses: actions/checkout@v4 - - name: Free up runner disk space - run: | - sudo rm -rf /usr/local/lib/android - sudo rm -rf /opt/hostedtoolcache/CodeQL - sudo rm -rf /opt/hostedtoolcache/Python - name: Get short commit hash run: echo "SHORT_SHA=$(git rev-parse --short=7 HEAD)" >> $GITHUB_ENV - name: Setup Go