From a4d91e24579a25907303857b0ed39231ae0eb00c Mon Sep 17 00:00:00 2001 From: tlylt Date: Mon, 20 Nov 2023 21:41:09 +0800 Subject: [PATCH] Remove build:ug step from CI workflow --- .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 ```