Jenkinsfile: Get latest release's version from cheribsdInfo

This bumps it to 23.11 and will automatically pick up 24.05 soon.
CTSRD-CHERI · Jul 17, 2024 · ccb5f94 · ccb5f94
1 parent 90d7e31
commit ccb5f94
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -78,7 +78,8 @@ def bootCheriBSDForAllArchitectures(params, String qemuConfig, boolean isDebug)
             addBootJobs(bootJobs, params, qemuConfig, architecture, "main")
             if (!isDebug) {
                 // For the non-ASAN build of QEMU we also boot the latest release
-                addBootJobs(bootJobs, params, qemuConfig, architecture, "releng%252F22.12", "-latest-release")
+                def latestRelease = cheribsdInfo.getReleasedVersions()[-1]
+                addBootJobs(bootJobs, params, qemuConfig, architecture, "releng%252F${latestRelease}", "-latest-release")
             }
             def targetBranch = env.CHANGE_TARGET ? env.CHANGE_TARGET : env.BRANCH_NAME;
             if (targetBranch == 'dev') {