Merge branch 'develop' into wrap_proxies_hosts

2019-10-10 08:44:45 +10:00 · 2019-10-10 08:44:45 +10:00 · a1d7135539
commit a1d7135539
parent 609b990030 aa26f3908b
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@ -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'
+    }
  }
 }