Skip to content

Commit

Permalink
Merge branch 'develop' into documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
RobertPincus authored Nov 30, 2023
2 parents b1fefc9 + bf4180d commit 7ebb182
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/doc-deployment.yml
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ jobs:
# Deploy documentation
#
- name: Deploy API Documentation
uses: JamesIves/github-pages-deploy-action@v4.4.3
uses: JamesIves/github-pages-deploy-action@v4.5.0
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/documentation' }}
with:
branch: gh-pages
Expand Down

0 comments on commit 7ebb182

Please sign in to comment.