more small fixes

This commit is contained in:
2025-08-13 16:35:16 -05:00
parent f07486cb11
commit 7175dcf7ba
2 changed files with 18 additions and 9 deletions

2
Jenkinsfile vendored
View File

@@ -9,7 +9,7 @@ pipeline {
name 'DISTRO'
values 'ubuntu-22.04', 'ubuntu-24.04',
'debian-12', 'fedora-42',
'ogarcia/archlinux-latest'
'archlinux-latest'
}
axis {
name 'ARCH'