Prevent External Users Registration #1434

	name: Validating Building the Documentation

	on:
	# Run it on main and release pushes too, in case we merge from a branch that's not up-to-date with the target branch
	# and breaks something after merge (or if we push to main).
	push:
	paths:
	- 'mkdocs.yml'
	- 'src/docs/**'
	branches: [ main, release/** ]
	pull_request:
	paths:
	- 'mkdocs.yml'
	- 'src/docs/**'

	concurrency:
	group: ${{ github.head_ref \|\| github.run_id }}-docs_validation
	cancel-in-progress: true

	jobs:
	validate-building-documentation:
	name: Validating Building the Documentation
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	# Necessary to avoid mkdocs-git-revision-date-localized-plugin warnings.
	fetch-depth: 0

	- name: Install Dependencies
	# Installing pip v22.0.3 is only necessary because unbuntu-latest runners include v22.0.2, which has a bug. That
	# line can be removed once the runners are updated, see https://github.com/actions/runner-images?tab=readme-ov-file#available-images.
	run: \|
	python -m pip install pip==22.0.3
	pip install -r src/docs/requirements.txt -v

	- name: Build Documentation
	run: python -m mkdocs build --strict

Provide feedback