Trigger a docs build when doing a release

Closes gh-42378

Author: wilkinsona

.github/workflows/release.yml

@@ -120,13 +120,27 @@ jobs:
         with:
           spring-boot-version: ${{ needs.build-and-stage-release.outputs.version }}
           token: ${{ secrets.GH_ACTIONS_REPO_TOKEN }}
+  trigger-docs-build:
+    name: Trigger Docs Build
+    runs-on: ubuntu-latest
+    needs:
+      - build-and-stage-release
+      - sync-to-maven-central
+    permissions:
+      actions: write
+    steps:
+      - name: Run Deploy Docs Workflow
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: gh workflow run deploy-docs.yml --repo spring-projects/spring-boot -r docs-build -f build-refname=${{ github.ref_name }} -f build-version=${{ needs.build-and-stage-release.outputs.version }}
   create-github-release:
     name: Create GitHub Release
     needs:
       - build-and-stage-release
       - promote-release
       - publish-gradle-plugin
       - publish-to-sdkman
+      - trigger-docs-build
       - update-homebrew-tap
     runs-on: ${{ vars.UBUNTU_SMALL || 'ubuntu-latest' }}
     steps: