[#63764] Minor language fixes #10

	name: CI

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

	on:
	push:
	branches: [main]
	pull_request:

	jobs:
	DeployDocs:
	runs-on: ubuntu-latest
	if: github.ref == 'refs/heads/main'
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: false
	- name: Install dependencies
	run: \|
	sudo apt-get update
	python -m pip install -r doc/requirements.txt
	- name: Build docs
	run: \|
	cd doc
	PYTHONPATH="/tmp/" make html
	- uses: actions/upload-artifact@v3
	with:
	name: gh-page
	path: doc/build/html
	- name: Deploy to Github Pages
	if: github.event_name != 'pull_request'
	run: \|
	cd doc/build/html
	touch .nojekyll
	git init
	cp ../../../.git/config ./.git/config
	git add .
	git config --local user.email "BuildTheDocs@GitHubActions"
	git config --local user.name "GitHub Actions"
	git commit -am "update ${{ github.sha }}"
	git push -u origin +HEAD:gh-pages

Provide feedback