CI - restyle script summary and annotations in PRs #718

	# Ensure Sphinx can build the documentation properly.

	name: Documentation

	on:
	pull_request:

	permissions:
	contents: read

	jobs:
	documentation:
	name: Sphinx build
	runs-on: ubuntu-latest
	defaults:
	run:
	shell: bash
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	- uses: actions/setup-python@v5
	with:
	python-version: '3.x'
	- name: Build documentation
	run: \|
	pip install --user -r doc/requirements.txt
	bash ./tests/ci/build_docs.sh

Provide feedback