From the documentation, it is possibly to run a GitHub action with a
pull_request trigger only when specific paths change. However, the
paths-ignore specifiers don’t seem to be available for the
Is this an oversight in the documentation or an actual difference?