ci: add jakarta.servlet-api to v25 profile

javier-godoy · paodb · commit c2be62bbd840 · 2026-03-25T09:42:50.000-03:00
Close #30
diff --git a/pom.xml b/pom.xml
@@ -517,6 +517,12 @@
                     <artifactId>vaadin-dev</artifactId>
                     <optional>true</optional>
                 </dependency>
+                <dependency>
+                    <groupId>jakarta.servlet</groupId>
+                    <artifactId>jakarta.servlet-api</artifactId>
+                    <version>6.1.0</version>
+                    <scope>test</scope>
+                </dependency>
             </dependencies>
         </profile>
         
