From aa26f3908b818e09bd5699ed75077417c044336b Mon Sep 17 00:00:00 2001
From: Jamie Curnow <jamiec@benon.com>
Date: Thu, 10 Oct 2019 08:44:12 +1000
Subject: [PATCH] Fix CI permissions

---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 167897ec..63b73843 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -351,6 +351,11 @@ pipeline {
       juxtapose event: 'failure'
       sh 'figlet "FAILURE"'
     }
+    always {
+      // Revert ownership
+      sh 'echo Reverting ownership'
+      sh 'docker run --rm -v ${CWD}:/project ${DOCKER_CI_TOOLS} chown -R $(id -u):$(id -g) /project'
+    }
   }
 }