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