ci: Add option to manually run CI

R2Northstar · Aug 9, 2024 · 10f5f25 · 10f5f25
1 parent 38b9d0f
commit 10f5f25
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+  workflow_dispatch: # manual run
 
 jobs:
   github-pages: