From d748e6cfbd9e13862f20f598b3625bc76e20b42f Mon Sep 17 00:00:00 2001
From: Marie <marie@kaifa.ch>
Date: Wed, 11 Oct 2023 21:49:54 +0200
Subject: [PATCH] ci: remove default folders that aren't needed to free up
 space

---
 .github/workflows/docker-develop.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/docker-develop.yml b/.github/workflows/docker-develop.yml
index 62b3d58073..79b5cc1c69 100644
--- a/.github/workflows/docker-develop.yml
+++ b/.github/workflows/docker-develop.yml
@@ -21,6 +21,10 @@ jobs:
       contents: read
       packages: write
     steps:
+      - name: Remove unnecessary files
+        run: |
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY"
       - name: Check out the repo
         uses: actions/checkout@v4.1.0
       - name: Set up Docker Buildx