Merge pull request #910 from Xilinx/testing/jenkins_ci_node_label

[Jenkins] Add node label to Jenkinsfile_CI to target specific machine if available
Xilinx · Oct 26, 2023 · a0a0586 · a0a0586
2 parents 6e86f9c + bd7f3b3
commit a0a0586
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/jenkins/Jenkinsfile_CI b/docker/jenkins/Jenkinsfile_CI
@@ -1,4 +1,4 @@
-node {
+node('finn-build || built-in') {
     def app
     stage('Clone repository') {
         /* Let's make sure we have the repository cloned to our workspace */