diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 38c58d9..af269dc 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -50,7 +50,10 @@ pipeline { post { success { - build "${BRANCH_NAME.replace('cross/', 'cross-rust%2F')}" + build([ + job: "${BRANCH_NAME.replace('cross/', 'rust-cross%2F')}", + wait: false, + ]) } failure {