From 882627be25aaa97533af45aff7ba62f03aa7150b Mon Sep 17 00:00:00 2001
From: Javier Maestro <jjmaestro@ieee.org>
Date: Tue, 19 Nov 2024 10:37:09 +0000
Subject: [PATCH] fix: GH Actions pre-commit checks

---
 .github/workflows/pages.yaml | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/pages.yaml b/.github/workflows/pages.yaml
index fff34369f..056db3cd4 100644
--- a/.github/workflows/pages.yaml
+++ b/.github/workflows/pages.yaml
@@ -33,14 +33,14 @@ jobs:
           - ref: "0.2.0"
           - ref: "0.1.0"
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
         if: ${{ matrix.ref == 'main' }}
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
         with:
           ref: ${{ matrix.ref }}
         if: ${{ matrix.ref != 'main' }}
       - name: Pin the release to main
-        run: echo "RELEASE=main" >> $GITHUB_ENV
+        run: echo "RELEASE=main" >> "$GITHUB_ENV"
         if: ${{ matrix.ref == 'main' }}
       - name: Patch older branches
         run: |
@@ -48,9 +48,7 @@ jobs:
 
           [[ "$ref" == "main" ]] && exit
 
-          v_major="$(echo "$ref" | cut -d. -f1)"
           v_minor="$(echo "$ref" | cut -d. -f2)"
-          v_patch="$(echo "$ref" | cut -d. -f3)"
 
           [[ $v_minor -gt 10 ]] && exit
 
@@ -102,18 +100,18 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Fetch artifacts (first root then others so the ordering is correct)
-      uses: actions/download-artifact@v2
+      uses: actions/download-artifact@v4
       with:
         name: main-root
         path: ${{ github.workspace }}/docs/book
     - name: Fetch artifacts (first root then others so the ordering is correct)
-      uses: actions/download-artifact@v2
+      uses: actions/download-artifact@v4
       with:
         path: ${{ github.workspace }}/docs/pages
     - name: Install pages
       run: mv ${{ github.workspace }}/docs/pages/* ${{ github.workspace }}/docs/book/
     - name: publish
-      uses: peaceiris/actions-gh-pages@v3
+      uses: peaceiris/actions-gh-pages@v4
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_branch: docs