Update documentation.yml

gismo · Dec 13, 2024 · dcdfc5f · dcdfc5f
1 parent 28f66bd
commit dcdfc5f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -3,9 +3,10 @@ name: Documentation
 on:
   push:
     branches:
-      - main, doc # update to match your development branch (master, main, dev, trunk, ...)
+      - [main, doc] # update to match your development branch (master, main, dev, trunk, ...)
     tags: '*'
   pull_request:
+  workflow_dispatch:
 
 jobs:
   build: