From 1b269da239d4c003a20aae6cfaa28695504b0c70 Mon Sep 17 00:00:00 2001
From: Andrzej Janik <vosen@vosen.pl>
Date: Thu, 25 Sep 2025 22:49:10 +0000
Subject: [PATCH] Free slightly more disk space

---
 .github/workflows/pr_master.yml   | 16 ++++++++--------
 .github/workflows/push_master.yml | 16 ++++++++--------
 2 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/pr_master.yml b/.github/workflows/pr_master.yml
index 8787c81..b44bc17 100644
--- a/.github/workflows/pr_master.yml
+++ b/.github/workflows/pr_master.yml
@@ -24,14 +24,14 @@ jobs:
     name: Build (Linux)
     runs-on: ubuntu-22.04
     steps:
-    - uses: jlumbroso/free-disk-space@main
+    - uses: jlumbroso/free-disk-space@v1.3.1
       with:
-        # Removing Android stuff should be enough
+        # Removing Android, .NET, docker stuff should be enough
         android: true
-        dotnet: false
+        dotnet: true
+        docker-images: true
         haskell: false
         large-packages: false
-        docker-images: false
         swap-storage: false
     - uses: actions/checkout@v4
       with:
@@ -79,14 +79,14 @@ jobs:
     outputs:
       test_package: ${{ steps.upload_artifacts.outputs.artifact-id }}
     steps:
-    - uses: jlumbroso/free-disk-space@main
+    - uses: jlumbroso/free-disk-space@v1.3.1
       with:
-        # Removing Android stuff should be enough
+        # Removing Android, .NET, docker stuff should be enough
         android: true
-        dotnet: false
+        dotnet: true
+        docker-images: true
         haskell: false
         large-packages: false
-        docker-images: false
         swap-storage: false
     - uses: actions/checkout@v4
       with:
diff --git a/.github/workflows/push_master.yml b/.github/workflows/push_master.yml
index 378fefe..40c39f4 100644
--- a/.github/workflows/push_master.yml
+++ b/.github/workflows/push_master.yml
@@ -18,14 +18,14 @@ jobs:
     permissions:
       contents: write
     steps:
-    - uses: jlumbroso/free-disk-space@main
+    - uses: jlumbroso/free-disk-space@v1.3.1
       with:
-        # Removing Android stuff should be enough
+        # Removing Android, .NET, docker stuff should be enough
         android: true
-        dotnet: false
+        dotnet: true
+        docker-images: true
         haskell: false
         large-packages: false
-        docker-images: false
         swap-storage: false
     - uses: actions/checkout@v4
       # fetch-depth and fetch-tags are required to properly tag pre-release builds
@@ -117,14 +117,14 @@ jobs:
     outputs:
       test_package: ${{ steps.upload_artifacts.outputs.artifact-id }}
     steps:
-    - uses: jlumbroso/free-disk-space@main
+    - uses: jlumbroso/free-disk-space@v1.3.1
       with:
-        # Removing Android stuff should be enough
+        # Removing Android, .NET, docker stuff should be enough
         android: true
-        dotnet: false
+        dotnet: true
+        docker-images: true
         haskell: false
         large-packages: false
-        docker-images: false
         swap-storage: false
     - uses: actions/checkout@v4
       with: