diff --git a/Jenkinsfile b/Jenkinsfile index 2032fb89cbb1aecf6cc4f7d90ec5d245be06cbcd..41c50c650eff36a5276ce7a93016cf9ba1d93dd6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,7 +3,7 @@ pipeline { agent { kubernetes { - label 'buildenv-agent' + label 'buildenv-agent-openvsx' yaml ''' apiVersion: v1 kind: Pod