From 70979215182c2b763e54b3263206966b89903a0f Mon Sep 17 00:00:00 2001 From: "@picocreator (Eugene Cheah)" Date: Sat, 19 Aug 2023 13:03:34 +0000 Subject: [PATCH] space optimization, for our huge docker image --- .github/workflows/docker-build.yml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml index 98a51872..23962a06 100644 --- a/.github/workflows/docker-build.yml +++ b/.github/workflows/docker-build.yml @@ -26,6 +26,27 @@ jobs: id-token: write steps: + # Due to the docker image being > available space on the runner + # we need to do some optimization, to create more space. + # https://github.com/marketplace/actions/maximize-build-disk-space + - name: Maximize build space + uses: easimon/maximize-build-space@master + with: + root-reserve-mb: 512 + swap-size-mb: 1024 + temp-reserve-mb: 100 + remove-dotnet: 'true' + remove-android: 'true' + remove-haskell: 'true' + remove-codeql: 'true' + remove-docker-images: 'true' + + # Get and log the free space + - name: Build + run: | + echo "Free space:" + df -h + - name: Checkout repository uses: actions/checkout@v3