From 8cfc94caafe99e979abba4968b612cfd632b641d Mon Sep 17 00:00:00 2001 From: Ed Merks Date: Wed, 4 Dec 2024 15:07:53 +0100 Subject: [PATCH] Use ubuntu instead of centos --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 5b083570b..1d189a3c2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -33,7 +33,7 @@ def targetPlatforms = targetPlatformToJavaVersionMap.keySet() as List pipeline { agent { - label 'centos-latest' + label 'ubuntu-latest' } options {