Remove build:ug step from CI workflow and dev docs (#2377)

MarkBind · Nov 26, 2023 · 17b3178 · 17b3178
1 parent 2b73029
commit 17b3178
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git 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
@@ -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
    ```
-Original file line number
+Diff line change
@@ Expand Up @@
        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
        ```
@@ Expand Down @@