File tree Expand file tree Collapse file tree 5 files changed +5
-5
lines changed Expand file tree Collapse file tree 5 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -116,7 +116,7 @@ pipeline {
116116 post {
117117 success { script { github. notifyPR(true ) } }
118118 failure { script { github. notifyPR(false ) } }
119- cleanup { sh ' ./scripts/clean-git.sh ' }
119+ cleanup { cleanWs( disableDeferredWipeout : true ) }
120120 }
121121}
122122
Original file line number Diff line number Diff line change @@ -125,7 +125,7 @@ pipeline {
125125 post {
126126 success { script { github. notifyPR(true ) } }
127127 failure { script { github. notifyPR(false ) } }
128- cleanup { sh ' ./scripts/clean-git.sh ' }
128+ cleanup { cleanWs( disableDeferredWipeout : true ) }
129129 }
130130}
131131
Original file line number Diff line number Diff line change @@ -164,7 +164,7 @@ pipeline {
164164 post {
165165 success { script { github. notifyPR(true ) } }
166166 failure { script { github. notifyPR(false ) } }
167- cleanup { sh ' ./scripts/clean-git.sh ' }
167+ cleanup { cleanWs( disableDeferredWipeout : true ) }
168168 }
169169}
170170
Original file line number Diff line number Diff line change @@ -130,7 +130,7 @@ pipeline {
130130 post {
131131 success { script { github. notifyPR(true ) } }
132132 failure { script { github. notifyPR(false ) } }
133- cleanup { sh ' ./scripts/clean-git.sh ' }
133+ cleanup { cleanWs( disableDeferredWipeout : true ) }
134134 }
135135}
136136
Original file line number Diff line number Diff line change @@ -167,7 +167,7 @@ pipeline {
167167 post {
168168 success { script { github. notifyPR(true ) } }
169169 failure { script { github. notifyPR(false ) } }
170- cleanup { sh ' ./scripts/clean-git.sh ' }
170+ cleanup { cleanWs( disableDeferredWipeout : true ) }
171171 }
172172}
173173
You can’t perform that action at this time.
0 commit comments