Update workflows' actions

.github/workflows/nightly.yml

@@ -10,7 +10,7 @@ jobs:
   stale:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/stale@v6
+      - uses: actions/stale@v9
         with:
           exempt-issue-labels: pinned
           include-only-assigned: true

.github/workflows/release.yml

@@ -8,15 +8,15 @@ jobs:
     runs-on: ubuntu-latest
     steps:
 
-      - uses: actions/cache@v3
+      - uses: actions/cache@v4
         with:
           key: ${{ runner.os }}-mkdocs-${{ hashFiles('**/*.gradle*', '**/gradle*.properties') }}
           restore-keys: ${{ runner.os }}-mkdocs-
           path: |
             ~/.local/bin
             ~/.local/lib/python*/site-packages
 
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
 

.github/workflows/release_branch.yml

@@ -8,7 +8,15 @@ jobs:
     runs-on: ubuntu-latest
     steps:
 
-      - uses: actions/checkout@v3
+      - uses: actions/cache@v4
+        with:
+          key: ${{ runner.os }}-mkdocs-${{ hashFiles('**/*.gradle*', '**/gradle*.properties') }}
+          restore-keys: ${{ runner.os }}-mkdocs-
+          path: |
+            ~/.local/bin
+            ~/.local/lib/python*/site-packages
+
+      - uses: actions/checkout@v4
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
 
@@ -19,11 +27,26 @@ jobs:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           cache: gradle
 
+      - env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          export REMOTE="https://$GITHUB_ACTOR:[email protected]/$GITHUB_REPOSITORY.git"
+          git remote set-url origin "$REMOTE"
+          git clone "$REMOTE" --branch gh-pages build/gh-pages
+          ./gradlew build
+          ./gradlew -x build buildSite
+          ls -AlF site/build/site
+
       - env:
           OSSRH_PASSWORD: ${{ secrets.OSSRH_PASSWORD }}
           OSSRH_USERNAME: ${{ secrets.OSSRH_USERNAME }}
           SIGNING_KEY: ${{ secrets.SIGNING_KEY }}
           SIGNING_PASSWORD: ${{ secrets.SIGNING_PASSWORD }}
-        run: |
-          ./gradlew build
-          ./gradlew --no-daemon -x test release
+        run: ./gradlew --no-daemon -x test release
+
+      - run: |
+          cp -rf site/build/site/* build/gh-pages/
+          cd build/gh-pages
+          git add --all
+          git commit -m "Publishing to gh-pages"
+          git push origin gh-pages

.github/workflows/site.yml

@@ -35,15 +35,15 @@ jobs:
     defaults:
       run: { shell: bash }
     steps:
-      - uses: actions/cache@v3
+      - uses: actions/cache@v4
         with:
           key: ${{ runner.os }}-mkdocs-${{ hashFiles('**/*.gradle*', '**/gradle*.properties') }}
           restore-keys: ${{ runner.os }}-mkdocs-
           path: |
             ~/.local/bin
             ~/.local/lib/python*/site-packages
 
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           ref: ${{ inputs.ref }}