This is an automated email from the ASF dual-hosted git repository.
adonisling pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/doris-thirdparty.git
The following commit(s) were added to refs/heads/main by this push:
new 5dd39554 [chore](workflow) Increase the build space for master branch
(#108)
5dd39554 is described below
commit 5dd39554ca581e1639d0b7e53e85ffe6f3c36456
Author: Adonis Ling <[email protected]>
AuthorDate: Thu Jul 27 16:00:44 2023 +0800
[chore](workflow) Increase the build space for master branch (#108)
There is not enough disk space to build the third-party libraries, we
should increase the build space.
---
.github/workflows/build.yml | 19 ++++++++++++++++++-
1 file changed, 18 insertions(+), 1 deletion(-)
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e4e7d415..fd5885f0 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -150,6 +150,23 @@ jobs:
GH_REPO: ${{ github.repository }}
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
steps:
+ - name: Checkout easimon/maximize-build-space
+ if: ${{ matrix.config.name == 'Linux' }}
+ run: |
+ git clone -b v7 https://github.com/easimon/maximize-build-space
+
+ - name: Maximize build space
+ if: ${{ matrix.config.name == 'Linux' }}
+ uses: ./maximize-build-space
+ with:
+ root-reserve-mb: 4096
+ swap-size-mb: 8192
+ remove-dotnet: 'true'
+ remove-android: 'true'
+ remove-haskell: 'true'
+ remove-codeql: 'true'
+ remove-docker-images: 'true'
+
- name: Checkout
uses: actions/checkout@v3
with:
@@ -174,7 +191,7 @@ jobs:
sudo DEBIAN_FRONTEND=noninteractive apt install --yes ${{
matrix.config.packages }}
mkdir -p "${DEFAULT_DIR}"
- wget
https://github.com/amosbird/ldb_toolchain_gen/releases/download/v0.17/ldb_toolchain_gen.sh
\
+ wget
https://github.com/amosbird/ldb_toolchain_gen/releases/download/v0.18/ldb_toolchain_gen.sh
\
-q -O /tmp/ldb_toolchain_gen.sh
bash /tmp/ldb_toolchain_gen.sh "${DEFAULT_DIR}/ldb-toolchain"
fi
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
