From 3ee9a4c56d2ebeedc6c48ed8f8b6e22571880034 Mon Sep 17 00:00:00 2001
From: Javier Godoy <11554739+javier-godoy@users.noreply.github.com>
Date: Sun, 22 Mar 2026 12:37:12 -0300
Subject: [PATCH] ci: add jakarta.servlet-api to v25 profile

Close #22
---
 pom.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pom.xml b/pom.xml
index 1b3f895..4584375 100644
--- a/pom.xml
+++ b/pom.xml
@@ -512,6 +512,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>