Skips publishing docs if the branch is not master (#985)

This commit is contained in:
Tim Dévé 2020-11-20 14:11:35 +00:00 committed by GitHub
parent 041d929fc6
commit 1b87bfbcb9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -44,6 +44,7 @@ jobs:
- name: Copy Docs to carp-docs Repository
uses: cpina/github-action-push-to-another-repository@master
if: github.ref == 'refs/heads/master'
env:
API_TOKEN_GITHUB: ${{ secrets.PERSONAL_TOKEN }}
with: