Add "agent" to Jenkinsfile

tbuschto · tbuschto · commit 9085675211ed · 2020-07-20T11:40:06.000+02:00
Change-Id: I61140d49200fa7776e6becad5020242bb398a2e9
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,4 +1,4 @@
-node {
+node('master') {
 
   stage('Checkout') {
     if(env.GERRIT_REFSPEC && env.GERRIT_PATCHSET_REVISION) {

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-node {`
	`1`	`+node('master') {`
`2`	`2`
`3`	`3`	`stage('Checkout') {`
`4`	`4`	`if(env.GERRIT_REFSPEC && env.GERRIT_PATCHSET_REVISION) {`