master #14

Merged
kdletters merged 226 commits from master into release 2026-05-13 13:23:09 +08:00
Showing only changes of commit 0816d2e326 - Show all commits

View File

@@ -77,7 +77,7 @@ pipeline {
userRemoteConfigs: [[url: "${GIT_REMOTE_URL}"]],
])
sh '''
bash -lc '
bash <<'BASH'
set -euo pipefail
chmod +x scripts/jenkins-checkout-source.sh
SOURCE_BRANCH="${SOURCE_BRANCH:-master}" \
@@ -85,7 +85,7 @@ pipeline {
GIT_REMOTE_URL="${GIT_REMOTE_URL}" \
SOURCE_COMMIT_FILE=".jenkins-source-commit" \
scripts/jenkins-checkout-source.sh
'
BASH
'''
}
}
@@ -96,7 +96,7 @@ pipeline {
}
steps {
sh '''
bash -lc '
bash <<'BASH'
set -euo pipefail
require_path() {
@@ -624,7 +624,7 @@ pipeline {
fi
echo "[server-provision] 完成。若是首次初始化,请补齐 ${API_ENV_FILE} 的真实密钥后再启动 api-server。"
'
BASH
'''
}
}