Skip to content

Commit 62c0738

Browse files
authored
Merge pull request #11518 from bwbarrett/bugfix/workspace-wipe
2 parents df5a394 + c5d57cc commit 62c0738

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.ci/community-jenkins/Jenkinsfile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -80,6 +80,7 @@ def prepare_build(build_name, label, build_arg) {
8080
node(label) {
8181
checkout(changelog: false, poll: false, scm: scm)
8282
sh "/bin/bash -x .ci/community-jenkins/pr-builder.sh ${build_arg} ompi"
83+
cleanWs(notFailBuild: true)
8384
}
8485
}
8586
}

0 commit comments

Comments
 (0)