Force specific Maven version for plugin modules, rather than just usi…

…ng the default version on the ubuntu-latest runner. Currently GATE plugins will not build with Maven 3.9 so this protects us in case the ubuntu-latest runner is upgraded in future.

.github/workflows/standard-module-pr.yml

@@ -18,6 +18,11 @@ on:
         default: true
         required: false
         type: boolean
+      maven_version:
+        description: "Version of Maven to use for the build"
+        default: "3.8.8"
+        required: false
+        type: string
 
 jobs:
   build:
@@ -42,6 +47,11 @@ jobs:
           distribution: ${{ inputs.java_distribution }}
           cache: maven
 
+      - name: Set up Maven
+        uses: stCarolas/[email protected]
+        with:
+          maven-version: ${{ inputs.maven_version }}
+
       # Override http://repo.gate.ac.uk to use https:// instead
       - name: Configure Maven settings
         uses: whelk-io/maven-settings-xml-action@v21

.github/workflows/standard-module.yml

@@ -33,6 +33,11 @@ on:
         default: "1"
         required: false
         type: string
+      maven_version:
+        description: "Version of Maven to use for the build"
+        default: "3.8.8"
+        required: false
+        type: string
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
@@ -77,6 +82,11 @@ jobs:
           distribution: ${{ inputs.java_distribution }}
           cache: maven
 
+      - name: Set up Maven
+        uses: stCarolas/[email protected]
+        with:
+          maven-version: ${{ inputs.maven_version }}
+
       # Override http://repo.gate.ac.uk to use https:// instead
       - name: Configure Maven settings
         uses: whelk-io/maven-settings-xml-action@v21