Deploy documentation from v2.3 branch rather than main (#3356)

This PR instructs github to deploy documentation pages from the v2.3
branch.
This commit is contained in:
blessedcoolant 2023-05-07 21:43:44 +12:00 committed by GitHub
commit 8618e41b32
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -36,7 +36,7 @@ jobs:
--verbose
- name: deploy to gh-pages
if: ${{ github.ref == 'refs/heads/main' }}
if: ${{ github.ref == 'refs/heads/v2.3' }}
run: |
python -m \
mkdocs gh-deploy \