tools/build.py: Add "path" entry to index.json. #35

	# https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-python
	name: Python code lint and formatting with ruff
	on: [push, pull_request]
	jobs:
	ruff:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- run: pip install --user ruff==0.1.2
	- run: ruff check --output-format=github .
	- run: ruff format --diff .

Provide feedback