ci: add a comment about windows workspace cleanup

This commit is contained in:
Anton Iakimov 2024-04-16 18:33:28 +02:00
parent eccc9b3bd7
commit e251d5907d
No known key found for this signature in database
GPG Key ID: DEA1FE58DD8BF7FA
1 changed files with 3 additions and 0 deletions

View File

@ -118,6 +118,9 @@ pipeline {
post {
success { script { github.notifyPR(true) } }
failure { script { github.notifyPR(false) } }
// Windows workspace often becomes broken if stoped during checkout.
// Post cleanup will fail too.
// Use 'Wipe out repository and force clone' manual UI option to prevent it.
cleanup { cleanWs() }
}
}