Merge remote-tracking branch 'refs/remotes/origin/main'

Author: carlosal1015

.github/workflows/book.yml

@@ -23,7 +23,7 @@ jobs:
           git sparse-checkout set pde-book
           git checkout
 
-      - uses: rhaschke/docker-run-action@v3
+      - uses: rhaschke/docker-run-action@v5
         with:
           username: ${{ secrets.DOCKER_USERNAME }}
           password: ${{ secrets.DOCKER_PASSWORD }}

.github/workflows/pages.yml

@@ -27,7 +27,7 @@ jobs:
           mv _build/html/* public/
 
       - name: Deploy
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: public