Update Tool Versions Page #1

	name: Update Tool Versions Page

	on:
	schedule:
	# Daily at 7:00 AM UTC (1h after Monday dev-toolchain builds)
	- cron: '0 7 * * *'
	workflow_dispatch: {}

	permissions:
	contents: write

	jobs:
	update-versions:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Generate tool versions page
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	bash .github/scripts/generate-versions-page.sh \
	> content/docs/container/versions.md

	- name: Check for changes
	id: diff
	run: \|
	if git diff --quiet content/docs/container/versions.md; then
	echo "changed=false" >> "$GITHUB_OUTPUT"
	else
	echo "changed=true" >> "$GITHUB_OUTPUT"
	fi

	- name: Commit and push
	if: steps.diff.outputs.changed == 'true'
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"
	git add content/docs/container/versions.md
	git commit -m "docs(container): update tool versions page"
	git push

Provide feedback