Merge commit 'b9d17bdb115c034e9a1028b3adca63762784d9b2' into develop

This commit is contained in:
github-actions[bot]
2025-05-01 14:07:10 +00:00
parent cec1b46516
commit a3fa91ae55

1
Jenkinsfile vendored
View File

@@ -76,6 +76,7 @@ def check_host() {
if ("${env.CK_SCCACHE}" != "null"){
def SCCACHE_SERVER="${env.CK_SCCACHE.split(':')[0]}"
echo "sccache server: ${SCCACHE_SERVER}"
sh "chmod +w -R ${env.WORKSPACE}"
sh '''ping -c 1 -p 6379 "${SCCACHE_SERVER}" | echo $? > tmp.txt'''
def output = readFile(file: "tmp.txt")
echo "tmp.txt contents: \$output"