Skip to content

Commit

Permalink
deploy docs on manual trigger (#462)
Browse files Browse the repository at this point in the history
It turns out that we are building docs but not deploying docs when we merge
napari/napari PRs, and also on manually-triggered workflows. Only merges to
main on the napari/docs repo get deployed.

This PR also adds workflow_dispatch to the conditions in which built docs are
deployed. (This is also the mechanism by which merges in napari/napari trigger
docs building in the this repo.)
  • Loading branch information
jni authored Jul 22, 2024
1 parent ffc22d0 commit dc51261
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/build_and_deploy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -114,7 +114,7 @@ jobs:
fi
- name: Deploy Docs
if: github.event_name == 'push' && (startsWith(github.ref, 'refs/tags/v') || startsWith(github.ref, 'refs/heads/main'))
if: (github.event_name == 'push' || github.event_name == 'workflow_dispatch') && (startsWith(github.ref, 'refs/tags/v') || startsWith(github.ref, 'refs/heads/main'))
uses: peaceiris/actions-gh-pages@v3
with:
deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
Expand Down

0 comments on commit dc51261

Please sign in to comment.