chore(deps): update actions/checkout action to v6 (#234) #294

	name: Update docs

	permissions: {}

	on:
	push:
	branches:
	- main

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	update-docs:
	name: Update Docs
	timeout-minutes: 10
	runs-on: ubuntu-latest
	permissions:
	contents: write # needed to commit generated documentation updates
	pull-requests: write # needed to open a PR with the doc changes
	steps:
	- uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0
	with:
	persist-credentials: false
	- uses: ./.github/actions/setup

	- name: Update docs
	id: update-docs
	run: \|
	go run ./docs/update.go
	git add .
	if git diff --staged --exit-code --quiet; then
	echo "No changes."
	else
	echo "Changes detected."
	echo "diff=true" >> "${GITHUB_OUTPUT}"
	fi
	- uses: peter-evans/create-pull-request@84ae59a2cdc2258d6fa0732dd66352dddae2a412 # v7.0.9
	if: ${{ steps.update-docs.outputs.diff == 'true' }}
	with:
	token: ${{ github.token }}
	title: "chore: Update docs"
	body: ${{ github.sha }}
	branch: docs/update

Provide feedback