CI: tweak Documenter workflow

fingolfin · fingolfin · commit 62598769da28 · 2025-03-18T17:19:18.000+01:00
diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml
@@ -2,8 +2,9 @@ name: Documenter
 on:
   push:
     branches: [main, master]
-    tags: [v*]
+    tags: ["v*"]
   pull_request:
+  workflow_dispatch:
 
 permissions:
   actions: write   # needed to allow julia-actions/cache to delete old caches that it has created
