diff --git a/Jenkins/master-pipeline/Jenkinsfile b/Jenkins/master-pipeline/Jenkinsfile index e24c0d1..e17f87f 100644 --- a/Jenkins/master-pipeline/Jenkinsfile +++ b/Jenkins/master-pipeline/Jenkinsfile @@ -56,7 +56,7 @@ pipeline { } post { always { - echo "Console log is available at https://results.new.llvm-mgerge-guards/${BUILD_ID}" + echo "Console log is available at https://results.new.llvm-merge-guard.org/${BUILD_ID}" dir("${env.TARGET_DIR}") { // copy console log to result folder sh "wget -qO console-log.txt http://jenkins-ui.jenkins.svc.cluster.local:8080/job/${JOB_BASE_NAME}/${BUILD_NUMBER}/consoleText"