enhance: hotfix HOME variable (#32405)

Signed-off-by: Liang Huang <sammy.huang@zilliz.com>
pull/32411/head
sammy.huang 2024-04-18 13:08:32 +08:00 committed by GitHub
parent d343d2f3fc
commit 70beec3e47
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 10 additions and 0 deletions

View File

@ -45,6 +45,16 @@ jobs:
runs-on: ubuntu-latest
timeout-minutes: 180
steps:
- name: 'Setup $HOME'
# hot fix
run: |
# Check if $HOME is not set
if [ -z "$HOME" ]; then
# Set $HOME to /root if it is not set
echo '$HOME was no set'
export HOME=/home/zilliz-user
fi
echo "HOME variable is:$HOME"
- name: Setup mold
uses: rui314/setup-mold@v1
- name: Maximize build space