Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid running semgrep on merge groups (#4)
Semgrep is taking an awful amount of time when running in merge queues, this is disabling it for those cases while keeping the workflow running to fit the requirement.
- Loading branch information