From 1b57ccde6f82d2954bd55ac47b3ed7b25aa0cf76 Mon Sep 17 00:00:00 2001
From: verwoerd <verwoerd@ch.tudelft.nl>
Date: Sun, 27 Oct 2024 14:29:45 +0100
Subject: [PATCH] workaround for build issues (#64)

workaround for build issues
---
 .github/workflows/docker.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 5e73adb..5317523 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -11,6 +11,21 @@ jobs:
     name: Build Docker image
     runs-on: ubuntu-latest
     steps:
+      - 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: true
+          swap-storage: true
       - name: Checkout code
         uses: actions/checkout@v4
         with: