diff --git a/Jenkinsfile b/Jenkinsfile index 0e08d2b..1829c8b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,5 @@ // this file when collection is public made will not be present. tis is also a PR test +// this needs to integrate shared libraries because pipeline takes soooo many time pipeline { agent none stages {