diff options
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 97f7bdca16..b9af962f7c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -45,7 +45,7 @@ pipeline { beforeAgent true expression { params.dco } } - agent { label 'amd64 && ubuntu-1804 && overlay2' } + agent { label 'arm64 && ubuntu-2004' } steps { sh ''' docker run --rm \ |