chore: allow manual docs build

mathuo · mathuo · commit ecf12b175e6c · 2024-01-02T15:02:42.000Z
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -1,6 +1,7 @@
 name: Deploy Docs
 
 on:
+    workflow_dispatch:
     schedule:
         - cron: '0 3 * * *' # every day at 3 am UTC
 
