2022-09-08 17:31:19 -04:00
|
|
|
name: Deploy Docs
|
|
|
|
on:
|
2022-11-21 19:49:18 -05:00
|
|
|
push:
|
2023-09-29 13:25:22 -04:00
|
|
|
branches-ignore:
|
|
|
|
- "gh-pages"
|
|
|
|
- "dependabot/**"
|
2022-11-21 19:49:18 -05:00
|
|
|
tags: '**'
|
2022-09-12 17:21:34 -04:00
|
|
|
repository_dispatch:
|
|
|
|
types: request-build-reference # legacy
|
2023-01-06 18:18:56 -05:00
|
|
|
#schedule:
|
|
|
|
#- cron: '0 10 * * *' # Once per day at 10am UTC
|
2022-09-08 17:31:19 -04:00
|
|
|
workflow_dispatch:
|
2022-09-12 17:21:34 -04:00
|
|
|
permissions: read-all
|
2022-09-08 17:31:19 -04:00
|
|
|
jobs:
|
2022-09-12 17:21:34 -04:00
|
|
|
build:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
if: github.repository_owner == 'spring-projects'
|
2022-09-08 17:31:19 -04:00
|
|
|
steps:
|
2022-09-12 17:21:34 -04:00
|
|
|
- name: Checkout
|
2023-12-14 07:07:56 -05:00
|
|
|
uses: actions/checkout@v4
|
2022-09-12 17:21:34 -04:00
|
|
|
with:
|
|
|
|
ref: docs-build
|
|
|
|
fetch-depth: 1
|
2022-11-10 18:58:17 -05:00
|
|
|
- name: Dispatch (partial build)
|
|
|
|
if: github.ref_type == 'branch'
|
2022-09-12 17:21:34 -04:00
|
|
|
env:
|
|
|
|
GH_TOKEN: ${{ secrets.GH_ACTIONS_REPO_TOKEN }}
|
2022-11-10 22:50:43 -05:00
|
|
|
run: gh workflow run deploy-docs.yml -r $(git rev-parse --abbrev-ref HEAD) -f build-refname=${{ github.ref_name }}
|
2022-11-10 18:58:17 -05:00
|
|
|
- name: Dispatch (full build)
|
|
|
|
if: github.ref_type == 'tag'
|
|
|
|
env:
|
|
|
|
GH_TOKEN: ${{ secrets.GH_ACTIONS_REPO_TOKEN }}
|
2022-11-10 22:50:43 -05:00
|
|
|
run: gh workflow run deploy-docs.yml -r $(git rev-parse --abbrev-ref HEAD)
|