From d22277a3e69040906cd198ea625614c5c69d66da Mon Sep 17 00:00:00 2001
From: Zhang Junyang <junyang@stu.pku.edu.cn>
Date: Sat, 24 Aug 2024 17:27:15 +0800
Subject: [PATCH] Allow manually dispatching publishing workflows

---
 .github/workflows/publish_osdk_and_ostd.yml | 3 ++-
 .github/workflows/publish_website.yml       | 3 ++-
 .github/workflows/push_git_tag.yml          | 1 +
 3 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/publish_osdk_and_ostd.yml b/.github/workflows/publish_osdk_and_ostd.yml
index 8a6d28996..653b48ea4 100644
--- a/.github/workflows/publish_osdk_and_ostd.yml
+++ b/.github/workflows/publish_osdk_and_ostd.yml
@@ -1,6 +1,7 @@
 name: Publish OSDK and OSTD
 
 on:
+  workflow_dispatch:
   pull_request:
     paths:
       - VERSION
@@ -27,7 +28,7 @@ jobs:
           ./tools/github_workflows/publish_osdk_and_ostd.sh --dry-run
       
       - name: Publish OSTD and OSDK
-        if: github.event_name == 'push'
+        if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
         env:
           REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}
         run: |
diff --git a/.github/workflows/publish_website.yml b/.github/workflows/publish_website.yml
index af23d7b1f..b956cdf42 100644
--- a/.github/workflows/publish_website.yml
+++ b/.github/workflows/publish_website.yml
@@ -1,6 +1,7 @@
 name: Publish website
 
 on:
+  workflow_dispatch:
   pull_request:
     paths:
       - docs/**
@@ -29,7 +30,7 @@ jobs:
           mdbook build
 
       - name: Deploy website
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
         env:
           BOOK_PUBLISH_KEY: ${{ secrets.BOOK_PUBLISH_KEY }}
         run: |
diff --git a/.github/workflows/push_git_tag.yml b/.github/workflows/push_git_tag.yml
index a70a63a84..08c9688cd 100644
--- a/.github/workflows/push_git_tag.yml
+++ b/.github/workflows/push_git_tag.yml
@@ -3,6 +3,7 @@
 name: Push release tag
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main