add on: workflow_dispatch

this is needed to re-run jobs manually from the web UI
mus65 · Nov 17, 2024 · 17d29f8 · 17d29f8
1 parent 908d440
commit 17d29f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -3,6 +3,7 @@ name: Build
 on:
   - push
   - pull_request
+  - workflow_dispatch
 
 jobs:
   Linux: