diff --git a/Jenkinsfile_gc b/Jenkinsfile_gc index c4503f876..052edc93f 100644 --- a/Jenkinsfile_gc +++ b/Jenkinsfile_gc @@ -1,6 +1,6 @@ pipeline { agent { - label "linux-arm64-docker" + label 'jnlp-linux-arm64' } triggers { cron('@hourly')