Skip to content

Fix build: add Jakarta Servlet API and upgrade war plugin for JDK 17 - #56

Draft
stden wants to merge 1 commit into
mainfrom
fix/ci-jakarta-servlet-build
Draft

Fix build: add Jakarta Servlet API and upgrade war plugin for JDK 17#56
stden wants to merge 1 commit into
mainfrom
fix/ci-jakarta-servlet-build

Commits

  1. Commits on Nov 2, 2026