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