Merge branch 'main' into hs/gitlab-fixes

This commit is contained in:
Will Hunt 2021-11-29 18:16:50 +00:00 committed by GitHub
commit a232d9075f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,10 +3,6 @@ name: Build docs
on:
push:
env:
# Only push if this is main, otherwise we just want to build
PUSH: ${{ github.ref == 'refs/heads/main' }}
jobs:
deploy:
runs-on: ubuntu-20.04
@ -22,7 +18,8 @@ jobs:
- name: Deploy latest
uses: peaceiris/actions-gh-pages@v3
if: env.PUSH
# Only push if this is main, otherwise we just want to build
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
keep_files: true