try debian 13 and fedora 41

This commit is contained in:
2025-08-15 14:20:26 -05:00
parent 586d871f88
commit 4345ca5878
2 changed files with 10 additions and 7 deletions

8
Jenkinsfile vendored
View File

@@ -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'

View File

@@ -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