Free up additional disk space on GitHub runner (model-checking#2674)

Co-authored-by: Zyad Hassan <[email protected]>
tautschnig · Aug 18, 2023 · 2391295 · 2391295
1 parent dde0441
commit 2391295
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/actions/setup/action.yml b/.github/actions/setup/action.yml
@@ -12,6 +12,14 @@ inputs:
 runs:
   using: composite
   steps:
+      - name: Remove unnecessary software to free up disk space
+        shell: bash
+        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/android /opt/ghc
+          df -h
+
       - name: Install dependencies
         run: cd ${{ inputs.kani_dir }} && ./scripts/setup/${{ inputs.os }}/install_deps.sh
         shell: bash