enhance: hotfix HOME variable (#32411)

Signed-off-by: Liang Huang <sammy.huang@zilliz.com>
pull/32417/head
sammy.huang 2024-04-18 14:49:26 +08:00 committed by GitHub
parent a0a23d0666
commit 66fae53cd2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions

View File

@ -50,11 +50,11 @@ jobs:
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
echo "HOME=/home/zilliz-user" >> $GITHUB_ENV
fi
echo "HOME variable is:$HOME"
echo "GITHUB_ENV variable is:$GITHUB_ENV"
- name: Setup mold
uses: rui314/setup-mold@v1
- name: Maximize build space