From 4f81d64a8bfd53a86383362c4ca88cfb6448383f Mon Sep 17 00:00:00 2001 From: Michele Scuttari Date: Sat, 21 Sep 2024 00:47:17 +0200 Subject: [PATCH] Run Jenkins pipelines on generic x86_64 agents --- .jenkins/dev-debian-12.Jenkinsfile | 4 +++- .jenkins/dev-fedora-40.Jenkinsfile | 4 +++- .jenkins/dev-ubuntu-22.04.Jenkinsfile | 4 +++- .jenkins/docker-dev-debian-12.Jenkinsfile | 4 +++- .jenkins/docker-prod-debian-12.Jenkinsfile | 4 +++- 5 files changed, 15 insertions(+), 5 deletions(-) diff --git a/.jenkins/dev-debian-12.Jenkinsfile b/.jenkins/dev-debian-12.Jenkinsfile index 15a8ed9f9..5605ff412 100644 --- a/.jenkins/dev-debian-12.Jenkinsfile +++ b/.jenkins/dev-debian-12.Jenkinsfile @@ -5,7 +5,9 @@ String checkName = "ci-" + configName publishChecks(name: checkName, status: 'QUEUED', summary: 'Queued') node { - agent 'x86_64-ubuntu-22.04' + agent { + label 'x86_64-linux' + } String localWorkspace = "${WORKSPACE}/" + configName diff --git a/.jenkins/dev-fedora-40.Jenkinsfile b/.jenkins/dev-fedora-40.Jenkinsfile index ad19f0626..802dd90b8 100644 --- a/.jenkins/dev-fedora-40.Jenkinsfile +++ b/.jenkins/dev-fedora-40.Jenkinsfile @@ -5,7 +5,9 @@ String checkName = "ci-" + configName publishChecks(name: checkName, status: 'QUEUED', summary: 'Queued') node { - agent 'x86_64-ubuntu-22.04' + agent { + label 'x86_64-linux' + } String localWorkspace = "${WORKSPACE}/" + configName diff --git a/.jenkins/dev-ubuntu-22.04.Jenkinsfile b/.jenkins/dev-ubuntu-22.04.Jenkinsfile index 9d201a9a4..772f81a1b 100644 --- a/.jenkins/dev-ubuntu-22.04.Jenkinsfile +++ b/.jenkins/dev-ubuntu-22.04.Jenkinsfile @@ -5,7 +5,9 @@ String checkName = "ci-" + configName publishChecks(name: checkName, status: 'QUEUED', summary: 'Queued') node { - agent 'x86_64-ubuntu-22.04' + agent { + label 'x86_64-linux' + } String localWorkspace = "${WORKSPACE}/" + configName diff --git a/.jenkins/docker-dev-debian-12.Jenkinsfile b/.jenkins/docker-dev-debian-12.Jenkinsfile index 2123121da..34de830af 100644 --- a/.jenkins/docker-dev-debian-12.Jenkinsfile +++ b/.jenkins/docker-dev-debian-12.Jenkinsfile @@ -5,7 +5,9 @@ String checkName = "docker-dev-image" publishChecks(name: checkName, status: 'QUEUED', summary: 'Queued') node { - agent 'x86_64-ubuntu-22.04' + agent { + label 'x86_64-linux' + } String localWorkspace = "${WORKSPACE}/" + configName diff --git a/.jenkins/docker-prod-debian-12.Jenkinsfile b/.jenkins/docker-prod-debian-12.Jenkinsfile index ef4e919e8..0b5a76e40 100644 --- a/.jenkins/docker-prod-debian-12.Jenkinsfile +++ b/.jenkins/docker-prod-debian-12.Jenkinsfile @@ -5,7 +5,9 @@ String checkName = "docker-prod-image" publishChecks(name: checkName, status: 'QUEUED', summary: 'Queued') node { - agent 'x86_64-ubuntu-22.04' + agent { + label 'x86_64-linux' + } String localWorkspace = "${WORKSPACE}/" + configName