contrib/ci.inria.fr: use a node with tag 'android2024' for android builds

bgoglin · bgoglin · commit c1f0e34c56e7 · 2024-07-04T14:39:55.000+02:00
We need a recent java, android studio, gradle, etc. The old 'android' node is still used for old branches. It will likely disappear in the near future. Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr> (cherry picked from commit 8f84e8d)
diff --git a/contrib/ci.inria.fr/Jenkinsfile b/contrib/ci.inria.fr/Jenkinsfile
@@ -230,7 +230,7 @@ pipeline {
 								}
 							}
 						} else if (it == 'AndroidStudio') {
-							node('android') {
+							node('android2024') {
 								dir('check-android') {
 									unstash 'script-android'
 									unstash 'tar-android'

Original file line number	Diff line number	Diff line change
`@@ -230,7 +230,7 @@ pipeline {`
`230`	`230`	`}`
`231`	`231`	`}`
`232`	`232`	`} else if (it == 'AndroidStudio') {`
`233`		`- node('android') {`
	`233`	`+ node('android2024') {`
`234`	`234`	`dir('check-android') {`
`235`	`235`	`unstash 'script-android'`
`236`	`236`	`unstash 'tar-android'`