diff --git a/Jenkinsfile b/Jenkinsfile index 167897e..63b7384 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' + } } }