Merge branch 'luojh-add-library-in-dev' of github.com:ustclug/Linux201-docs into luojh-add-library-in-dev

Author: ustcljh

.github/workflows/build.yaml

@@ -1,24 +1,14 @@
 name: build
 
 on:
-  push:
-    branches:
-      - "*"
-  pull_request:
-    branches:
-      - "*"
-
-permissions:
-  contents: write
-  pages: write
-  id-token: write
+  - pull_request
+  - push
 
 jobs:
   build:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
+    outputs:
+      commit-info: ${{ steps.commit-info.outputs.COMMIT_INFO }}
     steps:
       - uses: actions/checkout@v4
         with:
@@ -56,6 +46,7 @@ jobs:
           globs: |
             docs/**/*.md
             README.md
+
       - name: Stop and report errors
         run: |
           git add -A
@@ -69,28 +60,53 @@ jobs:
           mkdocs -v build
           : > site/.nojekyll
           echo -n '201.ustclug.org' > site/CNAME
+
       - name: Upload artifact
-        if: github.ref == 'refs/heads/master'
         uses: actions/upload-pages-artifact@v3
         with:
           path: site
+
+      - name: Generate commit info
+        id: commit-info
+        run: |
+          git log -1 --pretty="COMMIT_INFO=%an: [%h] %s" >> "$GITHUB_OUTPUT"
+
+  deploy:
+    needs: build
+    if: github.ref == 'refs/heads/master'
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    permissions:
+      contents: write
+      pages: write
+      id-token: write
+    runs-on: ubuntu-latest
+    steps:
       - name: Deploy to GitHub Pages
-        if: github.ref == 'refs/heads/master'
         id: deployment
         uses: actions/deploy-pages@v4
 
+      - name: Download artifact
+        uses: actions/download-artifact@v5
+        with:
+          name: github-pages
+          path: site/
+
       - name: Push site to gh-pages branch
-        if: github.ref == 'refs/heads/master'
         run: |
-          CINFO="$(git log -1 --pretty="%an: [%h] %s")"
           git clone --depth=1 --branch=gh-pages --single-branch --no-checkout \
-            "https://${GITHUB_ACTOR}:${{ secrets.GITHUB_TOKEN }}@github.com/${GITHUB_REPOSITORY}.git" test
+            "https://${{ github.actor }}:${{ github.token }}@github.com/${{ github.repository }}.git" test
           mv test/.git site/.git && rmdir test/
           pushd site/ &>/dev/null
+          if [ -f artifact.tar ]; then
+            tar xf artifact.tar
+            rm artifact.tar
+          fi
           git add -A
           git -c user.name=GitHub -c [email protected] commit \
             -m "Auto deploy from GitHub Actions build ${GITHUB_RUN_NUMBER}" \
-            -m "$CINFO" \
+            -m "${{ needs.build.outputs.commit-info }}" \
             --allow-empty
           git push
           popd &>/dev/null