Repository navigation

Deps: Bump the github-actions group with 2 updates #774

Job	Run time
Check versioning for consistency	14s
Run tests (3.14)	18s
Linting (3.13)	9s
Run tests (3.12)	18s
Check type hints (3.10)	17s
Run tests (3.10)	21s
Linting (3.14)	10s
Check type hints (3.12)	15s
Run tests (3.11)	20s
Linting (3.12)	11s
Check type hints (3.11)	17s
Build the documentation	34s
Linting (3.11)	12s
Linting (3.10)	13s
Run tests (3.13)	21s
Check type hints (3.13)	14s
Check type hints (3.14)	14s
Upload coverage to codecov.io	24s
	5m 2s