diff --git a/Jenkinsfile b/Jenkinsfile index 0d622d2..7ce09e2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,5 @@ pipeline { - agent{ - dockerfile true - } + agent any parameters{ string( defaultValue: 'kaerde',