Update README #1358

	name: Update README

	on:
	push:
	branches: [ main ]
	paths:
	- "data/**"
	workflow_run:
	workflows: ["Update from Formal Conjectures"]
	types:
	- completed
	branches: [main]

	permissions:
	contents: write

	jobs:
	update:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with: { ref: main }
	- uses: actions/setup-python@v5
	with: { python-version: "3.11" }
	- run: python -m pip install -r requirements.txt
	- run: python scripts/generate_readme.py
	- name: Commit changes
	run: \|
	if [[ -n "$(git status --porcelain)" ]]; then
	git config user.name "github-actions[bot]"
	git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git add README.md data/statistics_history.csv data/statistics_history_*.svg
	git commit -m "chore: regenerate README [skip ci]"
	git push
	else
	echo "No changes."
	fi

Provide feedback