upgrade the maven run plugin

lip6 · Jan 24, 2024 · 361d1b3 · 361d1b3
1 parent 3b9a6bc
commit 361d1b3
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/dve/fr.lip6.move.divine.xtext/pom.xml b/dve/fr.lip6.move.divine.xtext/pom.xml
@@ -21,7 +21,7 @@
 			<plugin>
 				<groupId>org.codehaus.mojo</groupId>
 				<artifactId>exec-maven-plugin</artifactId>
-				<version>3.0.0</version>
+				<version>3.1.1</version>
 				<executions>
 					<execution>
 						<id>mwe2Launcher</id>

diff --git a/fr.lip6.move.gal/pom.xml b/fr.lip6.move.gal/pom.xml
@@ -21,7 +21,7 @@
 			<plugin>
 				<groupId>org.codehaus.mojo</groupId>
 				<artifactId>exec-maven-plugin</artifactId>
-				<version>3.0.0</version>
+				<version>3.1.1</version>
 				<executions>
 					<execution>
 						<id>mwe2Launcher</id>

diff --git a/promela/fr.lip6.move.promela/pom.xml b/promela/fr.lip6.move.promela/pom.xml
@@ -15,7 +15,7 @@
 			<plugin>
 				<groupId>org.codehaus.mojo</groupId>
 				<artifactId>exec-maven-plugin</artifactId>
-				<version>3.0.0</version>
+				<version>3.1.1</version>
 				<executions>
 					<execution>
 						<id>mwe2Launcher</id>

diff --git a/xta/fr.lip6.move.xta/pom.xml b/xta/fr.lip6.move.xta/pom.xml
@@ -21,7 +21,7 @@
 			<plugin>
 				<groupId>org.codehaus.mojo</groupId>
 				<artifactId>exec-maven-plugin</artifactId>
-				<version>3.0.0</version>
+				<version>3.1.1</version>
 				<executions>
 					<execution>
 						<id>mwe2Launcher</id>