Allow manually dispatching publishing workflows

.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: |

.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: |

.github/workflows/push_git_tag.yml

@@ -3,6 +3,7 @@
 name: Push release tag
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main