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 · f1098ba · f1098ba
1 parent c785485
commit f1098ba
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/22.12", "-latest-release")
+ def latestRelease = cheribsdInfo.getReleasedVersions()[-1]
+ addBootJobs(bootJobs, params, qemuConfig, architecture, "releng/${latestRelease}", "-latest-release")
  }
  def targetBranch = env.CHANGE_TARGET ? env.CHANGE_TARGET : env.BRANCH_NAME;
  if (targetBranch == 'dev') {