Skip to content

Lint (Docs)

Lint (Docs) #33587

# 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"'