build: added back workflow_dispatch option

haoming29 · Sep 5, 2023 · 53f708d · 53f708d
1 parent 8637bd4
commit 53f708d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -6,6 +6,7 @@ on:
       - master
     paths:
       - "frontend/**"
+  workflow_dispatch:
 
 jobs:
   build-and-commit: