2023-01-28 10:58:45 +00:00
|
|
|
name: docs-build-deployment
|
2021-10-23 09:56:11 +00:00
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push: # Build on all pushes but only deploy for main branch
|
|
|
|
|
workflow_dispatch: # Allow this task to be manually started (you'll never know)
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
deploy:
|
|
|
|
|
name: Run deploy
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
if: github.event_name != 'push' || (github.event_name == 'push' && github.ref == 'refs/heads/main')
|
|
|
|
|
steps:
|
|
|
|
|
- name: Checkout repo
|
2022-11-05 12:27:22 +00:00
|
|
|
uses: actions/checkout@v3
|
2021-10-23 09:56:11 +00:00
|
|
|
with:
|
|
|
|
|
submodules: true # Fetch Hugo themes (true OR recursive)
|
|
|
|
|
fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod
|
|
|
|
|
|
|
|
|
|
- name: Build site
|
|
|
|
|
uses: ./.github/actions/build_site
|
|
|
|
|
|
|
|
|
|
- name: Deploy site
|
|
|
|
|
uses: ./.github/actions/deploy_site
|
|
|
|
|
with:
|
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
