Allow workflow to be dispatched manually

andy0130tw · andy0130tw · commit 42878a408b9c · 2025-10-01T00:23:54.000+08:00
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -9,6 +9,7 @@ on:
       - .github/workflows/deploy.yml
       - agda-wasm.patch
       - setup-ghc-wasm.py
+  workflow_dispatch:
 
 env:
   REGISTRY: ghcr.io
