Publishing the doc site is now manual job on GitHub Actions

kevin-lee · Sep 6, 2021 · 9011ca1 · 9011ca1
1 parent e0caeb3
commit 9011ca1
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/.github/workflows/publish-github-pages.yml b/.github/workflows/publish-github-pages.yml
@@ -1,12 +1,11 @@
-name: Publish GitHub Pages
+name: "[Doc][M] Publish"
 
 on:
-  push:
-    branches:
-      - publish-docs
+  workflow_dispatch:
 
 jobs:
-  build:
+  build_and_publish_doc_site:
+    if: github.ref != 'refs/heads/gh-pages' && github.ref != 'gh-pages'
 
     runs-on: ubuntu-latest