From 17b3178e6bfa38522f907d948f3f2e717cceb41b Mon Sep 17 00:00:00 2001
From: Liu Yongliang <41845017+tlylt@users.noreply.github.com>
Date: Sun, 26 Nov 2023 22:44:47 +0800
Subject: [PATCH 1/2] Remove build:ug step from CI workflow and dev docs
 (#2377)

---
 .github/workflows/ci.yml           | 5 +----
 docs/devGuide/projectManagement.md | 1 -
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8ef8f13e94..6bd1fc72dd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -88,10 +88,7 @@ jobs:
       - name: Deploy DG on any commit to master, to markbind.org/devdocs
         run: >-
           npm run build:web &&
-          npm run build:dg &&
           npm run deploy:dg
       - name: Deploy UG on release, to markbind.org
         if: github.ref_type == 'tag'
-        run: >-
-          npm run build:ug &&
-          npm run deploy:ug
+        run: npm run deploy:ug
diff --git a/docs/devGuide/projectManagement.md b/docs/devGuide/projectManagement.md
index 4196802aff..a267057b1f 100644
--- a/docs/devGuide/projectManagement.md
+++ b/docs/devGuide/projectManagement.md
@@ -199,7 +199,6 @@ For general best practices, refer to the guide [_Working with PRs_ @SE-EDU](http
    The deployment is automated. However, if it doesn't deploy properly for the release, do the following:
 
    ```sh
-   $ npm run build:ug
    $ npm run deploy:ug
    ```
 

From c7d912d3b335569d0455ca4375d06369ca18b5cd Mon Sep 17 00:00:00 2001
From: Liu Yongliang <41845017+tlylt@users.noreply.github.com>
Date: Sun, 26 Nov 2023 23:03:00 +0800
Subject: [PATCH 2/2] Add CI check for documentation deploy errors (#2378)

---
 .github/workflows/ci.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6bd1fc72dd..a5b3018beb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -92,3 +92,13 @@ jobs:
       - name: Deploy UG on release, to markbind.org
         if: github.ref_type == 'tag'
         run: npm run deploy:ug
+      - name: Check deploy log
+        run: |
+          log_file="docs/_markbind/logs/markbind-$(date +'%Y-%m-%d').log"
+          pattern="^[0-9T:.Z-]+ - error:"
+          
+          if grep -q -E "$pattern" "$log_file"; then
+            printf "The following issues were found when deploying the documentation:\n"
+            grep -E "$pattern" "$log_file"
+            exit 1
+          fi