Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update Jetty to v12 #1336

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from
Open

Update Jetty to v12 #1336

wants to merge 1 commit into from

Conversation

alexanderkiel
Copy link
Member

Jetty v12 requires JDK 17. This commit will remove the support for JDK 11.

Jetty v12 requires JDK 17. This commit will remove the support for JDK
11.
@alexanderkiel alexanderkiel self-assigned this Dec 9, 2023
@alexanderkiel alexanderkiel added dependencies Pull requests that update a dependency file module:server labels Dec 9, 2023
@alexanderkiel alexanderkiel added this to the v0.24.0 milestone Dec 9, 2023
Copy link

codecov bot commented Dec 9, 2023

Codecov Report

Merging #1336 (eed9547) into develop (ae94bf2) will not change coverage.
Report is 2 commits behind head on develop.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff            @@
##           develop    #1336   +/-   ##
========================================
  Coverage    95.37%   95.37%           
========================================
  Files          242      242           
  Lines        15521    15521           
  Branches       360      360           
========================================
  Hits         14803    14803           
  Misses         358      358           
  Partials       360      360           

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file module:server
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant