name: Deploy Docs

on:

push:

branches-ignore: [ gh-pages ]

tags: '**'

repository_dispatch:

types: request-build-reference # legacy

workflow_dispatch:

permissions:

actions: write

jobs:

build:

runs-on: ubuntu-latest

if: github.repository_owner == 'spring-projects'

steps:

- name: Checkout

uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3

with:

ref: docs-build

fetch-depth: 1

- name: Dispatch (partial build)

if: github.ref_type == 'branch'

env:

GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}

run: gh workflow run deploy-docs.yml -r $(git rev-parse --abbrev-ref HEAD) -f build-refname=${{ github.ref_name }}

- name: Dispatch (full build)

if: github.ref_type == 'tag'

env:

GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}

run: gh workflow run deploy-docs.yml -r $(git rev-parse --abbrev-ref HEAD)