message: Adjust semgrep check
diff: @@ -7,7 +7,7 @@ on:
  jobs:
  check:
  - if: "! startsWith(github.event.head_commit.message, '[CI Skip]') && (!github.event.issue.pull_request || github.event.pull_request.head.repo.full_name == github.repository)"
  + if: "! startsWith(github.event.head_commit.message, '[CI Skip]') && (!github.event.pull_request || github.event.pull_request.head.repo.full_name == github.repository)"
  runs-on: ubuntu-latest
  steps:
  - uses: actions/checkout@v2
  