github: Fix "no space left on device" issue in CI

2026-08-24 15:28:54 +00:00 · 2025-11-20 13:24:33 +01:00
parent 268046732e
commit b037b9300c
2 changed files with 16 additions and 3 deletions
@@ -24,9 +24,7 @@ jobs:
        name: Free Disk Space (Ubuntu)
        uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be # v1.3.1
        with:
-          # this might remove tools that are actually needed,
-          # if set to "true" but frees about 6 GB
-          tool-cache: false
+          tool-cache: true
          android: true
          dotnet: true
          haskell: true