diff --git a/Jenkinsfile b/Jenkinsfile index 9fdb5207b5..17aa475da8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,6 @@ pipeline { agent { - label "centos-latest" + label "ubuntu-latest" } options {