commit 05b0463d643a983ca5246469d508e9e54a263803
author Ed Merks <ed.merks@gmail.com> Fri Apr 14 08:04:41 2023 +0200
committer Ed Merks <ed.merks@gmail.com> Fri Apr 14 08:04:41 2023 +0200
tree c539a6c41963b16b60fa6bcbb9899b5302c5037e
parent e9fcf69f3fc7fa853fdb9fa89d10724462766c68

Jetty 10.0.15 and 11.0.15 are available.

jetty/MirrorJetty.jenkinsfile

diff --git a/jetty/MirrorJetty.jenkinsfile b/jetty/MirrorJetty.jenkinsfile
index 5bda154..9e2c651 100644
--- a/jetty/MirrorJetty.jenkinsfile
+++ b/jetty/MirrorJetty.jenkinsfile
@@ -28,7 +28,7 @@
 
     choice(
       name: 'JETTY_VERSION',
-      choices: ['10.0.14', '11.0.14'],
+      choices: ['10.0.15', '11.0.15'],
       description: '''
         Choose the <a href="https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-p2">Jetty version</a> to build.
         '''

jetty/VersionCheckJetty.jenkinsfile

diff --git a/jetty/VersionCheckJetty.jenkinsfile b/jetty/VersionCheckJetty.jenkinsfile
index 09c5a3b..13e0e0f 100644
--- a/jetty/VersionCheckJetty.jenkinsfile
+++ b/jetty/VersionCheckJetty.jenkinsfile
@@ -8,7 +8,7 @@
   }
 
   environment {
-   EXPECTED_LAST_MODIFIED = '20230227172557'
+   EXPECTED_LAST_MODIFIED = '20230413180258'
   }
 
   triggers {