Dan Allen
d22ee32c7d
- set up placeholder and trigger for Deploy Docs workflow in docs-build branch - set up placeholder and trigger for Rebuild Search Index workflow in docs-build branch - remove obsolete Deploy Reference workflow - upgrade Antora to 3.1 - reconfigure docs build for local build only - add patch to support using linked worktree as Antora content source - remove Antora extensions only needed for the production docs build
23 lines
591 B
YAML
23 lines
591 B
YAML
name: Trigger Deploy Docs
|
|
on:
|
|
repository_dispatch:
|
|
types: request-build-reference # legacy
|
|
schedule:
|
|
- cron: '0 10 * * *' # Once per day at 10am UTC
|
|
workflow_dispatch:
|
|
permissions: read-all
|
|
jobs:
|
|
build:
|
|
runs-on: ubuntu-latest
|
|
if: github.repository_owner == 'spring-projects'
|
|
steps:
|
|
- name: Checkout
|
|
uses: actions/checkout@v2
|
|
with:
|
|
ref: docs-build
|
|
fetch-depth: 1
|
|
- name: Dispatch
|
|
run: gh workflow run --ref $(git rev-parse --abbrev-ref HEAD) deploy-docs.yml
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GH_ACTIONS_REPO_TOKEN }}
|