install latest version of Maven; upgrade actions

jetty · Feb 13, 2024 · 4e64dd4 · 4e64dd4
1 parent f2c8cc1
commit 4e64dd4
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.github/workflows/publish-site.yml b/.github/workflows/publish-site.yml
@@ -23,7 +23,7 @@ jobs:
     - name: Checkout repository
       uses: actions/checkout@v4
     - name: Configure Pages
-      uses: actions/configure-pages@v3
+      uses: actions/configure-pages@v4
     - name: Install Node.js
       uses: actions/setup-node@v4
       with:
@@ -33,14 +33,18 @@ jobs:
       with:
         distribution: temurin
         java-version: '21'
+    - name: Install Maven
+      uses: stCarolas/setup-maven@v5
+      with:
+        maven-version: 3.9.6
     - name: Generate Site
       env:
         # must set ANTORA_CACHE_DIR so Maven will put jetty home where Antora Collector won't delete it
         ANTORA_CACHE_DIR: ${{ github.workspace }}/.cache/antora
       run: mvn --version
       #run: npx -y --package antora --package @antora/collector-extension --package @antora/lunr-extension --package asciidoctor-kroki antora --stacktrace --extension @antora/collector-extension --extension @antora/lunr-extension --html-url-extension-style=indexify antora-playbook.yml
     #- name: Upload Artifact
-    #  uses: actions/upload-pages-artifact@v2
+    #  uses: actions/upload-pages-artifact@v3
     #- name: Deploy Artifact to GitHub Pages
     #  id: deployment
-    #  uses: actions/deploy-pages@v2
+    #  uses: actions/deploy-pages@v4