ci: add jakarta.servlet-api dependency for Vaadin 24

javier-godoy · paodb · commit d5263ec067a4 · 2023-02-03T12:10:31.000-03:00
diff --git a/pom.xml b/pom.xml
@@ -369,6 +369,14 @@
 					<url>https://maven.vaadin.com/vaadin-prereleases</url>
 				</pluginRepository>
 			</pluginRepositories>
+			<dependencies>
+				<dependency>
+					<groupId>jakarta.servlet</groupId>
+					<artifactId>jakarta.servlet-api</artifactId>
+					<version>6.0.0</version>
+					<scope>provided</scope>
+				</dependency>
+			</dependencies>
 		</profile>
 
     </profiles>
