Skip to content

Commit

Permalink
Fix build-and-deploy-docs workflow (#22966)
Browse files Browse the repository at this point in the history
We want to publish docs on a successful PR merge to `master`. The
current checks were not triggering on PR merge.
  • Loading branch information
perangel committed Feb 14, 2023
1 parent c447923 commit 62eabcb
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/deploy-docs-site.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ on:

pull_request:
types:
- closed
- opened
- reopened
- synchronize
Expand Down Expand Up @@ -42,7 +43,7 @@ jobs:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |-
export SKIP_DEPLOY="yes"
if [ "${{github.event_name}}" = 'push' -o "${{github.event_name}}" = 'workflow_dispatch' ]; then
if [ "${{github.event_name}}" = 'push' -o "${{github.event_name}}" = 'workflow_dispatch' -o "${{github.event.pull_request.merged}}" = 'true']; then
export SKIP_DEPLOY="no"
fi
Expand Down

0 comments on commit 62eabcb

Please sign in to comment.