From 1fce7f735aba40d9abffaffe55643ef78311d631 Mon Sep 17 00:00:00 2001
From: Jiri Novotny <jiri.novotny@img.cas.cz>
Date: Wed, 4 Oct 2023 13:48:28 +0200
Subject: [PATCH] Update docker-ci.yml

---
 .github/workflows/docker-ci.yml | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docker-ci.yml b/.github/workflows/docker-ci.yml
index 4210ade..95a093d 100644
--- a/.github/workflows/docker-ci.yml
+++ b/.github/workflows/docker-ci.yml
@@ -87,9 +87,24 @@ jobs:
           tags: |
             type=raw,value=latest,enable=${{ github.ref == format('refs/heads/{0}', 'docker-ci-test') }}
             type=semver,pattern={{version}}
+      - name: Free Disk Space (Ubuntu)
+        uses: jlumbroso/free-disk-space@main
+        with:
+          # this might remove tools that are actually needed,
+          # if set to "true" but frees about 6 GB
+          tool-cache: false
+          
+          # all of these default to true, but feel free to set to
+          # "false" if necessary for your workflow
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: false
+          swap-storage: true
       - name: Debug2
         run: |
-          df -h
+          df -h 2>/dev/null
           du -sh /* | sort -h
           du -sh /opt/* | sort -h
           du -sh /usr/* | sort -h