diff --git a/ci/Jenkinsfile.windows b/ci/Jenkinsfile.windows index 2b264a459f..90d7525039 100644 --- a/ci/Jenkinsfile.windows +++ b/ci/Jenkinsfile.windows @@ -118,7 +118,7 @@ pipeline { post { success { script { github.notifyPR(true) } } failure { script { github.notifyPR(false) } } - cleanup { sh './scripts/clean-git.sh' } + cleanup { cleanWs() } } }