Allow triggering build manually (#22)

chabala · Jun 10, 2023 · 42658fc · 42658fc
1 parent dc43404
commit 42658fc
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 ]
   pull_request: # all pull requests
+  workflow_dispatch: # allow triggering manually
 
 jobs:
   build: