ci: Build for Fedora 40

2024-05-26 10:31:44 -05:00
parent 22c2473e3e
commit 842c5f9ec8
1 changed files with 1 additions and 1 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -11,7 +11,7 @@ pipeline {
                    }
                    axis {
                        name 'FEDORA'
-                        values '38', '39'
+                        values '38', '39', '40'
                    }
                }