ci: upgrade GitHub actions to newer versions

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 9ea0816f2f9b8c3e09b1d675be6e369d60dc6c0a..e15af692de911a964c4c2d3ebf24efad8e8a2d77 100644 (file)
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -24,7 +24,7 @@ jobs:
       with:
         fetch-depth: 0
     - name: Configure Pages
-      uses: actions/configure-pages@v3
+      uses: actions/configure-pages@v5
     - name: Install Node.js
       uses: actions/setup-node@v4
       with:
@@ -38,9 +38,9 @@ jobs:
     - name: Generate Site
       run: make doc_site
     - name: Upload Artifacts
-      uses: actions/upload-pages-artifact@v2
+      uses: actions/upload-pages-artifact@v3
       with:
         path: build/site
     - name: Deploy to GitHub Pages
       id: deployment
-      uses: actions/deploy-pages@v2
+      uses: actions/deploy-pages@v4