diff --git a/deploy-this/restart-docker.jenkinsfile b/deploy-this/restart-docker.jenkinsfile index 0931963..58eae11 100755 --- a/deploy-this/restart-docker.jenkinsfile +++ b/deploy-this/restart-docker.jenkinsfile @@ -1,3 +1,4 @@ +pipeline { agent any stages{