Skip to content

semgrep integration#186

Merged
thotakartheek004 merged 8 commits intomasterfrom
semgrep_integration
Mar 7, 2022
Merged

semgrep integration#186
thotakartheek004 merged 8 commits intomasterfrom
semgrep_integration

Conversation

@javeeth
Copy link
Contributor

@javeeth javeeth commented Feb 22, 2022

No description provided.

@thotakartheek004 thotakartheek004 merged commit 0352f2d into master Mar 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants