From 15168e1ce97e86d6930ca3793d49d609331eecbf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1s=20Romero?= <tomasromero@outlook.com>
Date: Fri, 6 Nov 2026 18:49:24 +0100
Subject: [PATCH] ci: keep going when the Docker image prune fails

---
 .github/workflows/quality.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/quality.yml b/.github/workflows/quality.yml
index 1800abcd..bf4c9bba 100644
--- a/.github/workflows/quality.yml
+++ b/.github/workflows/quality.yml
@@ -49,7 +49,8 @@ jobs:
               /opt/microsoft \
               /usr/local/julia* \
               /usr/local/share/chromium
-            sudo docker image prune --all --force > /dev/null
+            sudo docker image prune --all --force > /dev/null ||
+              echo "::warning::Could not remove the preinstalled Docker images."
             df -h /
           fi
       - name: Install native build dependencies