2023-01-28 10:58:45 +00:00
|
|
|
name: docs-build
|
2021-10-23 09:56:11 +00:00
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push: # Build on all pushes but only deploy for main branch
|
|
|
|
|
pull_request: # Build on all PRs regardless what branch
|
|
|
|
|
workflow_dispatch: # Allow this task to be manually started (you'll never know)
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
ci:
|
|
|
|
|
name: Run build
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
if: github.event_name != 'push' || (github.event_name == 'push' && github.ref != 'refs/heads/main')
|
|
|
|
|
steps:
|
|
|
|
|
- name: Checkout repo
|
2024-03-15 21:03:10 +00:00
|
|
|
uses: actions/checkout@v4
|
2021-10-23 09:56:11 +00:00
|
|
|
with:
|
|
|
|
|
submodules: true # Fetch Hugo themes (true OR recursive)
|
2023-10-19 19:25:35 +00:00
|
|
|
# fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod - not necessary for this repo
|
2021-10-23 09:56:11 +00:00
|
|
|
|
|
|
|
|
- name: Build site
|
|
|
|
|
uses: ./.github/actions/build_site
|
