Support a manual trigger on CI workflow

dtolnay · Feb 19, 2023 · 03b0c8d · 03b0c8d
1 parent 9a3acc0
commit 03b0c8d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,6 +3,7 @@ name: CI
 on:
   push:
   pull_request:
+  workflow_dispatch:
   schedule: [cron: "40 1 * * *"]
 
 permissions:

diff --git a/.github/workflows/site.yml b/.github/workflows/site.yml
@@ -7,6 +7,7 @@ on:
     paths:
       - book/**
       - .github/workflows/site.yml
+  workflow_dispatch:
 
 jobs:
   deploy:
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,6 +7,7 @@ on: @@
         paths:
           - book/**
           - .github/workflows/site.yml
+      workflow_dispatch:
     jobs:
       deploy:
@@ Expand Down @@