Update Jenkinsfile

2025-07-02 08:12:56 +02:00
parent b63834eb51
commit f0df67fb86
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -33,7 +33,7 @@ pipeline {
        stage('Validate Repository') {
            steps {
                script {
-                    checkRepoName(params.REPO_NAME)
+                    checkRepoName(params.REPO_NAME, true) //@jared: The "true" means, do not build PR's!
                }
            }
        }