Dummy README update -- Delete this PR #232

	# docs: https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions

	# This is the top-level workflow to run on all pull-requests, and invokes
	# several other workflow dependencies
	name: Pull Request

	on:
	workflow_dispatch:
	pull_request:

	jobs:
	# Call auxiliary workflows
	pre_run:
	uses: ./.github/workflows/pre-run-check.yml
	verilator:
	uses: ./.github/workflows/build-test-verilator.yml
	interactive_dbg:
	uses: ./.github/workflows/interactive-debugging.yml
	doc_gen:
Check failure on line 19 in .github/workflows/pull_request.yml View workflow run for this annotation GitHub Actions / Pull Request Invalid workflow file `The workflow is not valid. .github/workflows/pull_request.yml (Line: 19, Col: 3): Error calling workflow 'chipsalliance/caliptra-rtl/.github/workflows/doc-gen.yml@9bfc6d616e51ebd9c03f6ede3204ca312774a0ec'. The nested job 'deploy' is requesting 'pages: write, id-token: write', but is only allowed 'pages: none, id-token: none'.`
	uses: ./.github/workflows/doc-gen.yml
	post_run:
	name: Call Post Run Final
	runs-on: ubuntu-22.04
	needs: [pre_run, verilator, interactive_dbg, doc_gen]
	steps:
	- name: Checkout RTL repo
	uses: actions/checkout@v4
	- run: echo "Finalize"

Provide feedback