Update Status Dashboard #189

	name: Update Status Dashboard

	on:
	push:
	branches:
	- master
	workflow_dispatch:
	schedule:
	- cron: "0 6 * * *" # daily at 06:00 UTC

	permissions:
	contents: write

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.12"

	- name: Install uv
	run: \|
	curl -LsSf https://astral.sh/uv/install.sh \| sh
	echo "$HOME/.local/bin" >> $GITHUB_PATH

	- name: Generate status page
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: uv run make_status.py

	- name: Commit and push if changed
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git add .
	git diff --cached --quiet \|\| git commit -m "chore: update status dashboard"
	git push

	publish:
	needs: build
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	ref: master
	fetch-depth: 1

	- name: Deploy to gh-pages
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./
	publish_branch: gh-pages

Provide feedback