Update jetty for versions 10.0.16 and 11.0.16

eclipse-oomph · Aug 31, 2023 · ae7a051 · ae7a051
1 parent 5f935aa
commit ae7a051
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/jetty/MirrorJetty.jenkinsfile b/jetty/MirrorJetty.jenkinsfile
@@ -28,7 +28,7 @@ pipeline {
 
     choice(
       name: 'JETTY_VERSION',
-      choices: ['10.0.15', '11.0.15'],
+      choices: ['10.0.16', '11.0.16'],
       description: '''
         Choose the <a href="https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-p2">Jetty version</a> to build.
         '''

diff --git a/jetty/VersionCheckJetty.jenkinsfile b/jetty/VersionCheckJetty.jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
   }
 
   environment {
-   EXPECTED_LAST_MODIFIED = '20230413180258'
+   EXPECTED_LAST_MODIFIED = '20230830214835'
   }
 
   triggers {