Repository navigation

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

Job	Run time
Build the documentation	27s
Linting (3.11)	8s
Check type hints (3.14)	18s
Check type hints (3.13)	13s
Check versioning for consistency	14s
Check type hints (3.11)	15s
Linting (3.10)	8s
Run tests (3.13)	18s
Check type hints (3.12)	13s
Check type hints (3.10)	17s
Linting (3.12)	8s
Run tests (3.14)	18s
Linting (3.13)	10s
Run tests (3.11)	18s
Run tests (3.10)	19s
Linting (3.14)	14s
Run tests (3.12)	17s
Upload coverage to codecov.io	27s
	4m 42s