set Maven version as command-line parameter

ops4j · Oct 11, 2023 · 4251e19 · 4251e19
1 parent c22ad76
commit 4251e19
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 20 deletions.
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
@@ -20,5 +20,5 @@ jobs:
         with:
           distribution: 'temurin'
           java-version: ${{ matrix.java-version }}
-      - run: mvn wrapper:wrapper
+      - run: mvn wrapper:wrapper -Dmaven=3.9.5
       - run: ./mvnw verify --batch-mode --no-transfer-progress --file pom.xml
diff --git a/.gitignore b/.gitignore
@@ -6,6 +6,6 @@
 .settings
 /.idea
 /target
-/.mvn/wrapper/maven-wrapper.jar
+/.mvn
 /mvnw
 /mvnw.cmd
diff --git a/.mvn/wrapper/maven-wrapper.properties b/.mvn/wrapper/maven-wrapper.properties