diff --git a/Jenkinsfile b/Jenkinsfile index 3318396e3b465ab25a7ecf81c9a919dc8b426bde..ee54ec5e66e56cfa10a854155e55d5861602b937 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline{ - + agent any states{