Revert CI debug

jc21 · jc21 · commit 94754a5cb3f3 · 2020-05-28T20:26:16.000+10:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -192,7 +192,7 @@ pipeline {
 	}
 	post {
 		always {
-			//sh 'docker-compose down --rmi all --remove-orphans --volumes -t 30'
+			sh 'docker-compose down --rmi all --remove-orphans --volumes -t 30'
 			sh 'echo Reverting ownership'
 			sh 'docker run --rm -v $(pwd):/data ${DOCKER_CI_TOOLS} chown -R $(id -u):$(id -g) /data'
 		}

Original file line number	Diff line number	Diff line change
`@@ -192,7 +192,7 @@ pipeline {`
`192`	`192`	`}`
`193`	`193`	`post {`
`194`	`194`	`always {`
`195`		`- //sh 'docker-compose down --rmi all --remove-orphans --volumes -t 30'`
	`195`	`+ sh 'docker-compose down --rmi all --remove-orphans --volumes -t 30'`
`196`	`196`	`sh 'echo Reverting ownership'`
`197`	`197`	`sh 'docker run --rm -v $(pwd):/data ${DOCKER_CI_TOOLS} chown -R $(id -u):$(id -g) /data'`
`198`	`198`	`}`