chore: add manual trigger

mthiboust · Nov 28, 2023 · 99e604e · 99e604e
1 parent 16e5bcc
commit 99e604e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -4,6 +4,8 @@ on:
  branches:
  - master
  - main
+ workflow_dispatch:
+
 permissions:
  contents: write
 jobs: