free disk space before building

2025-06-15 15:30:48 +02:00
parent 50e907554c
commit 92c0ce5aa8
1 changed files with 10 additions and 0 deletions
@@ -16,6 +16,16 @@ jobs:
    permissions:
      contents: write
    steps:
+      - name: Free Disk Space
+        uses: jlumbroso/free-disk-space@main
+        with:
+          tool-cache: false
+          android: false
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: true
+          swap-storage: true
      - uses: actions/checkout@v4
      - uses: actions/setup-java@v4
        with: