clear space but without removing /opt/hostedtoolcache

davidwilby · Jun 13, 2024 · 1242590 · 1242590
1 parent bbbd7b8
commit 1242590
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -18,14 +18,14 @@ jobs:
       uses: actions/setup-python@v2
       with:
         python-version: ${{ matrix.python-version }}
-    # - name: Delete huge unnecessary folders, and clean apt cache
-    #   run: |
-    #     rm -rf /opt/hostedtoolcache
-    #     rm -rf /usr/share/dotnet
-    #     rm -rf /opt/ghc
-    #     rm -rf "$AGENT_TOOLSDIRECTORY"
-    #     sudo apt-get clean
-    #   shell: bash
+    - name: Delete huge unnecessary folders, and clean apt cache
+      run: |
+        # rm -rf /opt/hostedtoolcache
+        rm -rf /usr/share/dotnet
+        rm -rf /opt/ghc
+        rm -rf "$AGENT_TOOLSDIRECTORY"
+        sudo apt-get clean
+      shell: bash
     - name: Print space
       run: df -h
     - name: Install dependencies