Browse Source

chore: disable semgrep on push events (#26523)

develop
Ankush 3 years ago
committed by GitHub
parent
commit
a6d80dcc2a
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      .github/workflows/semgrep.yml

2
.github/workflows/semgrep.yml

@ -2,8 +2,6 @@ name: Semgrep
on:
pull_request: { }
push:
branches: ["develop"]
jobs:
semgrep:

Loading…
Cancel
Save