Update deploy condition for GitHub Pages to include workflow_dispatch

This commit is contained in:
Palash Tyagi 2025-05-04 18:48:26 +01:00
parent 02c00cc657
commit 18887e72ae

View File

@ -112,5 +112,5 @@ jobs:
path: target/doc/
- name: Deploy to GitHub Pages
if: github.event_name == 'push'
if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
uses: actions/deploy-pages@v4