ci: allows manual docs publishing

.github/workflows/publish.yml

@@ -4,6 +4,9 @@ on:
   push:
     branches: [main]
 
+  # Allows you to run this workflow manually from the Actions tab on GitHub.
+  workflow_dispatch:
+
 # Allow this job to clone the repo and create a page deployment
 permissions:
   contents: read