Update ci.yml

Author: manticore-projects

.github/workflows/ci.yml

@@ -11,7 +11,6 @@ on:
 permissions:
   contents: read
 
-# Cancel superseded runs on the same branch/PR to save runner minutes.
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ github.event_name == 'pull_request' }}
@@ -25,16 +24,16 @@ jobs:
     name: Gradle Check (${{ matrix.os }})
     runs-on: ${{ matrix.os }}
     strategy:
-      fail-fast: false          # one platform failing should not hide the others
+      fail-fast: false
       matrix:
         os: [ ubuntu-latest, windows-latest, macos-latest ]
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         with:
           fetch-depth: 0        # required by the git-changelog / version derivation
 
       - name: Set up JDK ${{ env.JAVA_VERSION }}
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v5
         with:
           java-version: ${{ env.JAVA_VERSION }}
           distribution: ${{ env.JAVA_DISTRIBUTION }}
@@ -49,7 +48,7 @@ jobs:
 
       - name: Upload test reports
         if: always()
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: test-reports-${{ matrix.os }}
           path: |
@@ -68,12 +67,12 @@ jobs:
         # windows-latest disabled: see #<issue> — record the reason, not just the comment
         os: [ ubuntu-latest, macos-latest ]
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         with:
           fetch-depth: 0
 
       - name: Set up JDK ${{ env.JAVA_VERSION }}
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v5
         with:
           java-version: ${{ env.JAVA_VERSION }}
           distribution: ${{ env.JAVA_DISTRIBUTION }}
@@ -90,12 +89,12 @@ jobs:
     permissions:
       contents: read
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         with:
           fetch-depth: 0
 
       - name: Set up JDK ${{ env.JAVA_VERSION }}
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v5
         with:
           java-version: ${{ env.JAVA_VERSION }}
           distribution: ${{ env.JAVA_DISTRIBUTION }}
@@ -132,23 +131,27 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         with:
           fetch-depth: 0        # gitChangelogTask needs full history
 
       - name: Set up JDK ${{ env.JAVA_VERSION }}
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v5
         with:
           java-version: ${{ env.JAVA_VERSION }}
           distribution: ${{ env.JAVA_DISTRIBUTION }}
 
       - name: Set up Gradle
         uses: gradle/actions/setup-gradle@v4
 
-      - uses: actions/setup-python@v5
+      # cache: 'pip' needs a dependency file to key on. setup-python only looks for
+      # **/requirements.txt or **/pyproject.toml by default, neither of which exists in this
+      # repo — hence "No file ... matched". cache-dependency-path points it at the file we keep.
+      - uses: actions/setup-python@v6
         with:
           python-version: '3.12'
           cache: 'pip'
+          cache-dependency-path: '.github/requirements-docs.txt'
 
       # Only xsltproc comes from apt. `sphinx-common` used to be installed here as well; it
       # pulled in python3-sphinx / python3-docutils / python3-pil from the runner's stale apt
@@ -163,15 +166,7 @@ jobs:
       - name: Install Python dependencies
         run: |
           python -m pip install --upgrade pip
-          python -m pip install \
-            'sphinx>=7,<9' \
-            manticore_sphinx_theme \
-            sphinx_javadoc_xml \
-            myst_parser \
-            sphinx_substitution_extensions \
-            sphinx_issues \
-            sphinx_inline_tabs \
-            pygments
+          python -m pip install -r .github/requirements-docs.txt
 
       - name: Build Sphinx documentation with Gradle
         env:
@@ -182,10 +177,10 @@ jobs:
         uses: actions/configure-pages@v5
 
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
+        uses: actions/upload-pages-artifact@v5
         with:
           path: 'build/sphinx'
 
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v4
+        uses: actions/deploy-pages@v5