1 files changed, 4 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index fc08eff2..b5210544 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -53,8 +53,11 @@ pipeline {
     }
 
     post {
-        always {
+        cleanup {
             echo 'One way or another, I have finished'
+            // the 'build' directory got elevated permissions during the build
+            // cdjust permissions so it can be cleaned up by the regular user
+            sh 'sudo chmod -R 777 build/'
             deleteDir() /* cleanup our workspace */
         }
     }