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

Free up additional disk space on GitHub runner
tautschnig · Mar 6, 2023 · e024ecb · e024ecb
2 parents ec46ac8 + a4989b9
commit e024ecb
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/pull-request-checks.yaml b/.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