Repository navigation

ci: single-source Python version via pyproject.toml + add uv-lock pre… #453

	# The objective of this GitHub Action is to update the DIRECTORY.md file (if needed)
	# when doing a git push
	name: directory_writer
	on: [push]
	jobs:
	directory_writer:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7
	with:
	fetch-depth: 0
	- uses: actions/setup-python@v7
	with:
	python-version-file: pyproject.toml
	allow-prereleases: true
	- name: Write DIRECTORY.md
	run: \|
	scripts/build_directory_md.py 2>&1 \| tee DIRECTORY.md
	git config --global user.name "$GITHUB_ACTOR"
	git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com"
	git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
	- name: Update DIRECTORY.md
	run: \|
	git add DIRECTORY.md
	git commit -am "updating DIRECTORY.md" \|\| true
	git push --force origin HEAD:$GITHUB_REF \|\| true