Add manual trigger to docs workflow

2025-11-12 07:03:48 -05:00 · 2024-07-17 14:32:19 +03:00
parent 35f96d1e3c
commit bea4e67021
1 changed files with 20 additions and 19 deletions
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -2,7 +2,8 @@ name: Deploy github pages
 on:
  push:
    paths:
-        - 'docs/**'
+      - "docs/**"
+  workflow_dispatch:
 jobs:
  build:
    runs-on: ubuntu-latest