Remove more things

alisw · Nov 13, 2024 · 0f1adf8 · 0f1adf8
1 parent 5fa0768
commit 0f1adf8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/push-docker-image.yml b/.github/workflows/push-docker-image.yml
@@ -37,6 +37,7 @@ jobs:
           sudo rm -rf /opt/ghc || true
           sudo rm -rf /usr/local/.ghcup || true
           sudo docker image prune --all --force || true
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY" || true
 
       - name: Install prerequisites
         run: |