Update GitHub Actions to latest major versions

.github/workflows/build.yml

@@ -13,20 +13,20 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - name: Cancel Previous Runs
-      uses: styfle/[email protected].0
+      uses: styfle/[email protected].1
       with:
         access_token: ${{ github.token }}
 
     - name: Checkout
-      uses: actions/checkout@v4
+      uses: actions/checkout@v4.2.2
 
     # Install dependencies
     - name: Install Graphviz
       run: |
         sudo apt-get install graphviz {lib,}graphviz-dev
 
     - name: Set up Python 3.11
-      uses: actions/setup-python@v4
+      uses: actions/setup-python@v5.3.0
       with:
         python-version: "3.11"
         cache: "pip"
@@ -58,7 +58,7 @@ jobs:
     # Push the book's HTML to github-pages
     - name: GitHub Pages action
       if: github.ref == 'refs/heads/main'
-      uses: peaceiris/actions-gh-pages@v3.9.3
+      uses: peaceiris/actions-gh-pages@v4.0.0
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./_build/html