Bump io.micrometer:micrometer-bom from 1.13.6 to 1.13.7 (#885) #843

	name: Deploy Docs
	on:
	push:
	branches: [ main, '[0-9]+.[0-9]+.x' ]
	tags: 'v[0-9]+.[0-9]+.[0-9]+'
	repository_dispatch:
	types: request-build-reference # legacy
	#schedule:
	#- cron: '0 10 * * *' # Once per day at 10am UTC
	workflow_dispatch:
	permissions:
	actions: write
	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	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)

Provide feedback