From 5f9cc7a95a3c5f7b18eb37fdf0c791d386fc3753 Mon Sep 17 00:00:00 2001
From: Alain Mazy <alain@mazy.be>
Date: Fri, 14 Jul 2023 07:49:22 +0200
Subject: [PATCH] increase build space

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

diff --git a/.github/workflows/build-docker.yml b/.github/workflows/build-docker.yml
index 8c62371f..48f8cd24 100644
--- a/.github/workflows/build-docker.yml
+++ b/.github/workflows/build-docker.yml
@@ -70,6 +70,8 @@ jobs:
         remove-dotnet: 'true'
         remove-android: 'true'
         remove-haskell: 'true'
+        remove-codeql: 'true'
+        # can be used if needed remove-docker-images: 'true'
 
     - name: Maximize build space (2)
       # to list folder sizes: