Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: pin semgrep to old version (#38426)
* ci: pin semgrep to old version current version has problem with PRs originating from fork * ci: unpin semgrep --------- Co-authored-by: Ankush Menat <[email protected]> Co-authored-by: Ankush Menat <[email protected]>
- Loading branch information