Add workflow dispatch

https://github.blog/changelog/2020-07-06-github-actions-manual-triggers-with-workflow_dispatch/
2020-07-20 10:10:55 +02:00 · 2020-07-20 10:10:55 +02:00 · d9c47fb58b
parent cab4557e5b
commit d9c47fb58b
1 changed files with 1 additions and 3 deletions
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@ -6,9 +6,7 @@ on:
    branches: ["master"]
  pull_request:
    branches: ["master"]
-  # Allow rebuilds via API.
-  repository_dispatch:
-    types: rebuild
+  workflow_dispatch:

 jobs:
  tests: