Fix maven version for builds of gate-top itself.

GateNLP · Nov 24, 2023 · 573a325 · 573a325
1 parent 4afde72
commit 573a325
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -46,6 +46,11 @@ jobs:
           distribution: 'zulu'
           cache: maven
 
+      - name: Set up Maven
+        uses: stCarolas/[email protected]
+        with:
+          maven-version: "3.8.8"
+
       # Override http://repo.gate.ac.uk to use https:// instead
       - name: Configure Maven settings
         uses: whelk-io/maven-settings-xml-action@v21

diff --git a/.github/workflows/pull-request.yaml b/.github/workflows/pull-request.yaml
@@ -20,6 +20,11 @@ jobs:
           distribution: 'zulu'
           cache: maven
 
+      - name: Set up Maven
+        uses: stCarolas/[email protected]
+        with:
+          maven-version: "3.8.8"
+
       # Override http://repo.gate.ac.uk to use https:// instead
       - name: Configure Maven settings
         uses: whelk-io/maven-settings-xml-action@v21