Lint (Docs) #33470

	# This workflow is required to ensure that required Github check passes even if
	# the actual "Lint (Docs)" workflow skipped due to path filtering. Otherwise
	# it will stay forever pending.
	#
	# See "Handling skipped but required checks" for more info:
	#
	# https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/troubleshooting-required-status-checks#handling-skipped-but-required-checks
	#
	# Note both workflows must have the same name.

	name: Lint (Docs)
	run-name: Lint (Docs)

	on:
	pull_request:
	paths-ignore:
	- 'docs/**'
	- 'examples/**'
	- 'CHANGELOG.md'
	merge_group:
	paths-ignore:
	- 'docs/**'
	- 'examples/**'
	- 'CHANGELOG.md'

	jobs:
	lint:
	name: Lint (Docs)
	runs-on: ubuntu-latest

	permissions:
	contents: none

	steps:
	- run: 'echo "No changes to verify"'

Provide feedback