Commits


Ryan Wilson authored and GitHub committed 65368934f77
Fix ignore paths for Check (#4816) Based on [the docs](https://help.github.com/en/actions/automating-your-workflow-with-github-actions/workflow-syntax-for-github-actions#onpushpull_requestpaths), `paths` should be used for excluding only when it's also specifying which paths to include. Otherwise, `paths-ignore` should be used.