diff --git a/Jenkinsfile_dh b/Jenkinsfile_dh index 628312b..7c13d0f 100644 --- a/Jenkinsfile_dh +++ b/Jenkinsfile_dh @@ -1,7 +1,5 @@ pipeline { - agent { - dockerfile true - } + agent any stages {