Increase github actions available disk space

2026-05-31 08:37:58 +00:00 · 2024-02-13 18:36:27 +01:00
parent 45f624e6e8
commit 3495539a68
1 changed files with 5 additions and 0 deletions
@@ -149,6 +149,11 @@ jobs:
    runs-on: ubuntu-22.04
    environment: docker.io
    steps:
+      # Increase available disk space by removing unnecessary tool chains:
+      # https://github.com/actions/runner-images/issues/2840#issuecomment-790492173
+      - name: Increase available disk space
+        run: sudo rm -rf /usr/share/dotnet /opt/ghc /usr/local/share/boost "$AGENT_TOOLSDIRECTORY"
+
      - uses: actions/checkout@v3

      - name: Set up QEMU