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 ```