Add modern shell tools to devcontainer #82

	name: CI

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	jobs:
	test:
	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
	uses: astral-sh/setup-uv@v6
	with:
	enable-cache: 'true'
	- name: Install deps
	run: uv sync --group dev
	- name: Configure git identity
	run: \|
	git config --global user.name "github-actions[bot]"
	git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
	- name: Run tests
	run: uv run pytest -q

	check-docs:
	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
	uses: astral-sh/setup-uv@v6
	with:
	enable-cache: 'true'
	- name: Install deps
	run: uv sync --group dev
	- name: Check if documentation can be built
	run: uv run mkdocs build -s

	deploy-docs:
	if: github.event_name == 'push'
	needs: [test, check-docs]
	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
	uses: astral-sh/setup-uv@v6
	with:
	enable-cache: 'true'
	- name: Install deps
	run: uv sync --group dev
	- name: Deploy documentation
	run: uv run mkdocs gh-deploy --force

Provide feedback