Update workflow file to allow manual triggering.

heyitsbench · Apr 14, 2023 · 7613e2d · 7613e2d
1 parent 6699d52
commit 7613e2d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/core-build.yml b/.github/workflows/core-build.yml
@@ -4,6 +4,7 @@ on:
     branches:
       - 'master'
   pull_request:
+  workflow_dispatch:
 
 jobs:
   build: