Fix CI permissions

Jamie Curnow · Jamie Curnow · commit aa26f3908b81 · 2019-10-10T08:44:12.000+10:00
diff --git 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'
+    }
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -351,6 +351,11 @@ pipeline {`
`351`	`351`	`juxtapose event: 'failure'`
`352`	`352`	`sh 'figlet "FAILURE"'`
`353`	`353`	`}`
	`354`	`+ always {`
	`355`	`+ // Revert ownership`
	`356`	`+ sh 'echo Reverting ownership'`
	`357`	`+ sh 'docker run --rm -v ${CWD}:/project ${DOCKER_CI_TOOLS} chown -R $(id -u):$(id -g) /project'`
	`358`	`+ }`
`354`	`359`	`}`
`355`	`360`	`}`
`356`	`361`