chore: ability to manually trigger docs job

retr0h · Dec 29, 2023 · 7e53168 · 7e53168
1 parent c9b6b4b
commit 7e53168
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -5,6 +5,8 @@ on:
  push:
  branches:
  - main
+ # Allows you to run this workflow manually from the Actions tab
+ workflow_dispatch:
 
 permissions:
  contents: write