Repository navigation

Add documentation checks for every push and PR #4

	name: Documentation checks

	on:
	push:
	pull_request:
	workflow_dispatch:

	permissions:
	contents: read

	concurrency:
	group: docs-${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	validate:
	name: Validate documentation
	runs-on: ubuntu-latest
	timeout-minutes: 5

	steps:
	- name: Check out repository
	uses: actions/checkout@v4

	- name: Check required files and relative links
	run: python .github/scripts/check_docs.py