Adjust semgrep check (#3624)

2021-06-07 07:37:28 +02:00
parent 3f0d11b026
commit 281e9d2dee
1 changed files with 1 additions and 1 deletions
@@ -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