diff --git a/Jenkinsfile b/Jenkinsfile index 88a62db..4c72ece 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,3 @@ -discardBuilds - pipeline { agent { label "built-in"