Support workflow_dispatch event.

reitermarkus · Sep 13, 2020 · b2256a7 · b2256a7
1 parent b35ff9a
commit b2256a7
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 3 deletions.
diff --git a/.github/workflows/rerun-workflow.yml b/.github/workflows/rerun-workflow.yml
@@ -13,6 +13,7 @@ on:
       - Pull Request Fail
     types:
       - completed
+  workflow_dispatch:
 
 jobs:
   rerun-workflow:

diff --git a/README.md b/README.md
@@ -45,6 +45,10 @@ on:
       - labeled
       - unlabeled
 
+  # Check open pull requests for relevant labels and re-run the
+  # corresponding workflows if necessary.
+  workflow_dispatch:
+
   # Remove relevant labels when a workflow run finishes successfully.
   workflow_run:
     workflows:

diff --git a/dist/index.js b/dist/index.js
diff --git a/dist/index.js.map b/dist/index.js.map
diff --git a/src/main.ts b/src/main.ts
@@ -232,8 +232,9 @@ async function run(): Promise<void> {
         await action.handlePullRequestEvent(octokit)
         break
       }
+      case 'push':
       case 'schedule':
-      case 'push': {
+      case 'workflow_dispatch': {
         await action.handleRepoEvent(octokit)
         break
       }