Rebuild docs with newest navbar #113

	name: Rebuild docs with newest navbar

	on:
	# 3:25 AM UTC every Sunday -- choose an uncommon time to avoid
	# periods of heavy GitHub Actions usage
	schedule:
	- cron: '25 3 * * 0'
	# Whenever needed
	workflow_dispatch:

	permissions:
	contents: write

	jobs:
	update-navbar:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout gh-pages branch
	uses: actions/checkout@v4
	with:
	ref: gh-pages

	- name: Insert navbar
	uses: TuringLang/actions/DocsNav@main
	with:
	doc-path: '.'

	- name: Commit and push changes
	run: \|
	if [[ -n $(git status -s) ]]; then
	git config user.name github-actions[bot]
	git config user.email github-actions[bot]@users.noreply.github.com
	git add -A
	git commit -m "Update navbar (automated)"
	git push
	else
	echo "No changes to commit"
	fi

Provide feedback