deploy repository if release

This commit is contained in:
Martin Marmsoler 2022-04-30 15:12:57 +02:00
parent c85cf4b131
commit 2299a9c27b

View File

@ -325,12 +325,12 @@ jobs:
# needed otherwise the docs folder is not available
- name: Checkout repository
if: ${{ !env.IS_RELEASE }}
if: ${{ env.IS_RELEASE }}
uses: actions/checkout@v1
# update github pages only if it is a release
- name: Deploy Github pages
if: ${{ !env.IS_RELEASE }}
if: ${{ env.IS_RELEASE }}
uses: JamesIves/github-pages-deploy-action@v4.3.3
with:
branch: gh-pages # The branch the action should deploy to.