.github: Update Actions

Author: simnalamburt

.github/workflows/build.yml

@@ -1,41 +1,44 @@
-# This is a basic workflow to help you get started with Actions
+name: Deploy mdBook site to Pages
 
-name: Auto gh-pages Deploy
-
-# Controls when the action will run. 
 on:
   push:
-    branches: [ master ]
-
-  # Allows you to run this workflow manually from the Actions tab
-  workflow_dispatch:
+    branches: [main]
+  workflow_dispatch: # Allows you to run this workflow manually from the Actions tab
+  pull_request:
+
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
+# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
+concurrency:
+  group: pages
+  cancel-in-progress: false
 
-# A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
-  # This workflow contains a single job called "build"
   build:
-    # The type of runner that the job will run on
-    runs-on: ubuntu-latest
-
-    # Steps represent a sequence of tasks that will be executed as part of the job
+    runs-on: ubuntu-24.04
     steps:
-      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
-      - uses: actions/checkout@v2
-
-      - name: Setup mdBook
-        uses: peaceiris/actions-mdbook@v1
+      - uses: actions/checkout@v4
+      - uses: peaceiris/actions-mdbook@v2
         with:
-          mdbook-version: 'latest'
-
-      - name: Build mdbook
-        run: mdbook build
-
-      - name: Deploy gh-pages
-        uses: peaceiris/actions-gh-pages@v3
+          mdbook-version: latest
+      - id: pages
+        uses: actions/configure-pages@v5
+      - run: mdbook build
+      - uses: actions/upload-pages-artifact@v3
         with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./book
-          user_name: 'github-actions[bot]'
-          user_email: 'github-actions[bot]@users.noreply.github.com'
-          commit_message: 'Auto Deploy (${{ github.event.head_commit.message }})'
-          cname: doc.rust-kr.org
+          path: ./book
+
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-24.04
+    needs: build
+    steps:
+      - id: deployment
+        uses: actions/deploy-pages@v4