message: Speed up some PRs with paths-ignore
diff: @@ -11,6 +11,11 @@ on:
  pull_request:
  # The branches below must be a subset of the branches above
  branches: [master]
  + # https://docs.github.com/en/free-pro-team@latest/github/finding-security-vulnerabilities-and-errors-in-your-code/configuring-code-scanning#scanning-pull-requests
  + paths-ignore:
  + - '**/*.md'
  + - '**/*.yml'
  + - '**/*.yaml'
  schedule:
  - cron: '0 8 * * 6'
  