Skip to content

Commit

Permalink
Move pages into subdir and add manual triggering
Browse files Browse the repository at this point in the history
  • Loading branch information
paulf81 committed Feb 6, 2025
1 parent 0c96135 commit 5ed78a8
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/deploy-pages.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ on:
- develop
paths:
- docs/**
workflow_dispatch: # Allows manual triggering of the workflow

# This job installs dependencies, builds the book, and pushes it to `gh-pages`
jobs:
Expand Down Expand Up @@ -55,3 +56,4 @@ jobs:
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/_build/html
destination_dir: docs # Publishes to the docs folder

0 comments on commit 5ed78a8

Please sign in to comment.