ci: Build for Fedora 42, drop Fedora 39

2025-04-24 08:01:33 -05:00
parent c8139d75dc
commit 730448c79d
1 changed files with 1 additions and 1 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -11,7 +11,7 @@ pipeline {
                    }
                    axis {
                        name 'FEDORA'
-                        values '39', '40', '41'
+                        values '40', '41', '42'
                    }
                }