Update Stubs Index #86

	name: Update Stubs Index

	on:
	schedule:
	# Run daily at midnight UTC
	- cron: '0 0 * * *'
	workflow_dispatch: # Allow manual trigger

	permissions:
	contents: write

	jobs:
	update-stubs-index:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.11'

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install requests packaging

	- name: Run stubs index builder
	run: python scripts/build_stubs_index.py

	- name: Check for changes
	id: git-check
	run: \|
	git diff --exit-code data/micropython_stubs.json \|\| echo "changed=true" >> $GITHUB_OUTPUT

	- name: Commit and push if changed
	if: steps.git-check.outputs.changed == 'true'
	run: \|
	git config --local user.email "github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	git add data/micropython_stubs.json
	git commit -m "chore: update stubs index [automated]"
	git push

Provide feedback