Free up space to get docker build to work

Signed-off-by: Kumar Gala <kumar.gala@linaro.org>
zephyrproject-rtos · May 6, 2020 · a5b6806 · a5b6806
1 parent e16097a
commit a5b6806
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -24,4 +24,10 @@ jobs:
     - name: Build the Docker image
       run: |
         cd shippable
+        df -h
+        # remove a few things to free up space
+        sudo rm -rf "/usr/local/share/boost"
+        sudo rm -rf "/usr/local/lib/android"
+        sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+        df -h
         docker build . --file Dockerfile --tag docker.io/${DOCKER_USER}/${DOCKER_REPO}:${{ github.sha }}
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -42,6 +42,12 @@ jobs:
         DOCKER_TAG: ${{ steps.docker_tag.outputs.DOCKER_TAG }}
       run: |
         cd shippable
+        df -h
+        # remove a few things to free up space
+        sudo rm -rf "/usr/local/share/boost"
+        sudo rm -rf "/usr/local/lib/android"
+        sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+        df -h
         docker build . --file Dockerfile --tag docker.io/${DOCKER_USER}/${DOCKER_REPO}:${DOCKER_TAG}
 
     - name: push