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