Merge pull request #7574 from tautschnig/bugfixes/coverage-ci

Free up additional disk space on GitHub runner

Author: tautschnig

.github/workflows/pull-request-checks.yaml

@@ -910,6 +910,12 @@ jobs:
         uses: actions/checkout@v3
         with:
           submodules: recursive
+      - name: Remove unnecessary software to free up disk space
+        run: |
+          # inspired by https://github.com/easimon/maximize-build-space/blob/master/action.yml
+          df -h
+          sudo rm -rf /usr/share/dotnet /usr/local/lib/* /opt/*
+          df -h
       - name: Download testing and coverage dependencies
         env:
           # This is needed in addition to -yq to prevent apt-get from asking for