ci: if ci-dev branch run min tests

Signed-off-by: Vitor Bandeira <[email protected]>
The-OpenROAD-Project · Jul 6, 2024 · cb8d00b · cb8d00b
1 parent 0dbce0c
commit cb8d00b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/jenkins/public_tests_all.Jenkinsfile b/jenkins/public_tests_all.Jenkinsfile
@@ -19,7 +19,11 @@ node {
     }
 
     stage('Run Tests') {
-        runTests(DOCKER_IMAGE, 'pr');
+        if (env.CHANGE_BRANCH && env.CHANGE_BRANCH.contains('ci-dev')) {
+            runTests(DOCKER_IMAGE, 'dev');
+        } else {
+            runTests(DOCKER_IMAGE, 'pr');
+        }
     }
 
     stage ('Cleanup and Reporting') {