chore: disable semgrep on push events (bp #26523)

This commit is contained in:
Ankush 2021-07-16 13:03:18 +05:30 committed by GitHub
parent b164070a4f
commit 627a8a8cfd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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