Merge pull re 8000 quest #1328 from bratpiorka/rrudnick_wf_names #861

	# Deploy documentation to GitHub Pages
	name: GitHubPages

	on:
	push:
	branches: ["main"]
	workflow_dispatch:

	# Cancel previous in-progress workflow, only the latest run is relevant
	concurrency:
	group: "docs"
	cancel-in-progress: true

	permissions:
	contents: read

	jobs:
	DocsBuild:
	uses: ./.github/workflows/reusable_docs_build.yml
	with:
	upload: true

	DocsDeploy:
	name: Deploy docs to GitHub Pages
	needs: DocsBuild

	permissions:
	pages: write
	id-token: write

	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}

	runs-on: ${{ github.repository_owner == 'oneapi-src' && 'intel-ubuntu-22.04' \|\| 'ubuntu-latest' }}

	steps:
	- name: Deploy the documentation to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4.0.5

Provide feedback