New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

🪲 remove semgrep #1249 #1250

Merged

joocer merged 1 commit into main from #1249

Nov 7, 2023

+5 −17

Contributor

joocer commented Nov 7, 2023 •

edited

Loading

Thank you for opening a Pull Request!

Before submitting your PR, there are a few things you can do to help make sure it goes smoothly:

Raise a bug/feature request or start a discussion, ideally before writing your code! That way we can discuss the change and the approach.
Ensure the tests pass
Ensure code coverage does not decrease (if any source code was changed)
Appropriate docs and tests were updated (if necessary)

Fixes #1249


          🪲 remove semgrep #1249

3655c8d

joocer merged commit b45b755 into main

13 of 18 checks passed

joocer deleted the #1249 branch

November 7, 2023 22:05

sonarqubecloud bot commented Nov 7, 2023

Kudos, SonarCloud Quality Gate passed!

0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells

No Coverage information
0.0% Duplication

ghost commented Nov 7, 2023

👇 Click on the image for a new way to code review

Legend

CodeSee Map legend

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet