From 4345ca5878e9d382d9e91e661937adf0a3b0edbb Mon Sep 17 00:00:00 2001 From: Levon Gevorgyan Date: Fri, 15 Aug 2025 14:20:26 -0500 Subject: [PATCH] try debian 13 and fedora 41 --- Jenkinsfile | 8 +++++--- lib/docker.sh | 9 +++++---- 2 files changed, 10 insertions(+), 7 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 7e1843d..8fb39ac 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,9 +7,11 @@ pipeline { axes { axis { name 'DISTRO' - values 'ubuntu-22.04', 'ubuntu-24.04', - 'debian-12', 'fedora-42', - 'archlinux-latest' + values 'ubuntu-24.04', + 'fedora-42', + 'fedora-41', + 'debian-13', + 'archlinux-latest' } axis { name 'ARCH' diff --git a/lib/docker.sh b/lib/docker.sh index 109ee7b..b9ca1aa 100644 --- a/lib/docker.sh +++ b/lib/docker.sh @@ -1,9 +1,10 @@ #!/usr/bin/env bash VALID_DOCKER_IMAGES=( - 'ubuntu-22.04' 'ubuntu-24.04' - 'fedora-41' 'fedora-42' - 'debian-12' + 'ubuntu-24.04' + 'fedora-42' + 'fedora-41' + 'debian-13' 'archlinux-latest' ) DOCKER_WORKDIR='/workdir' @@ -240,7 +241,7 @@ docker_run_image() { if [[ ${DOCKER_REGISTRY} != '' ]]; then docker_login || return 1 docker pull \ - "${DOCKER_REGISTRY}/${image_tag}" + "${DOCKER_REGISTRY}/${image_tag}" || return 1 docker tag "${DOCKER_REGISTRY}/${image_tag}" "${image_tag}" fi