From d0bef0dbc590d38145d80301d6106ce2913b315d Mon Sep 17 00:00:00 2001
From: Elisabetta Iavarone <18575092+elisabettai@users.noreply.github.com>
Date: Tue, 16 Apr 2024 11:14:33 +0200
Subject: [PATCH] Changed ci to free up space

---
 .github/workflows/github-ci.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml
index 13da1b8..9201514 100644
--- a/.github/workflows/github-ci.yml
+++ b/.github/workflows/github-ci.yml
@@ -14,6 +14,25 @@ jobs:
         python: ["3.10"]
         os: ["ubuntu-20.04"]
     steps:
+      - name: create new dir
+        run: sudo mkdir -p /mnt/docker
+      - name: Maximize build space
+        uses: easimon/maximize-build-space@master
+        with:
+          root-reserve-mb: 4096
+          remove-dotnet: 'true'
+          remove-android: 'true'
+          remove-haskell: 'true'
+          build-mount-path: '/mnt/docker'
+      - name: change docker default root path
+        run: |
+          docker info | grep "Docker Root"
+          sudo service docker stop
+          sudo sed -i "s|}|,'data-root': '/mnt/docker'}|" /etc/docker/daemon.json
+          sudo sed -i "s/'/\"/g" /etc/docker/daemon.json
+          sudo cat /etc/docker/daemon.json
+          sudo service docker start
+          docker info | grep "Docker Root" 
       - uses: actions/checkout@v3
       - name: Set up Docker Buildx
         id: buildx