fix disk memory usage problem with some github actions

GRAAL-Research · Oct 6, 2023 · 3e26a42 · 3e26a42
1 parent 13eca91
commit 3e26a42
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -14,6 +14,15 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
+      # Appears that we get disk memory space problem, thus as recommended by this
+      # thread (https://github.com/actions/runner-images/issues/2840#issuecomment-790492173)
+      # we clean the runner before starting the tests to free some spaces.
+      - name: Remove unnecessary files
+        run: |
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf "/usr/local/share/boost"
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY"
       - uses: actions/checkout@v3
       - name: Build the Docker image
         run: |

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -10,6 +10,15 @@ jobs:
         python-version: [ "3.8", "3.9", "3.10", "3.11" ]
 
     steps:
+      # Appears that we get disk memory space problem, thus as recommended by this
+      # thread (https://github.com/actions/runner-images/issues/2840#issuecomment-790492173)
+      # we clean the runner before starting the tests to free some spaces.
+      - name: Remove unnecessary files
+        run: |
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf "/usr/local/share/boost"
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY"
       - uses: actions/checkout@v3
       - name: Set up Python ${{ matrix.python-version }}
         uses: actions/setup-python@v4