diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 05556cb..4f9ee01 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -56,7 +56,10 @@ pipeline { post { success { - build "${BRANCH_NAME.replace('base/', 'cross%2F')}" + build([ + job: "${BRANCH_NAME.replace('base/', 'cross%2F')}", + wait: false, + ]) } failure {