deploy: d1c65a8d06c31f540f905ef1785d7e8bdef483b5

This commit is contained in:
jakubgs 2021-06-30 21:19:34 +00:00
parent 5b22428601
commit 3c33272a82

View File

@ -75,6 +75,7 @@ pipeline {
post {
success { script { github.notifyPR(true) } }
failure { script { github.notifyPR(false) } }
always { cleanWs() }
} // post
} // pipeline