diff --git a/Jenkinsfile b/Jenkinsfile index 8b1378917..c30127a8d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1 +1,3 @@ - +pipeline { + agent any +}