From e98244a0b61790416f1289cae3143b28be212e61 Mon Sep 17 00:00:00 2001 From: Robsdedude Date: Wed, 3 Dec 2025 16:10:15 +0100 Subject: [PATCH] Add .semgrepignore --- .gitignore | 3 ++- .semgrepignore | 7 +++++++ 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 .semgrepignore diff --git a/.gitignore b/.gitignore index 6f5d483dc..138f22fd9 100644 --- a/.gitignore +++ b/.gitignore @@ -18,7 +18,8 @@ docs/build dist *.egg-info build -venv +/.venv*/ +/venv*/ run */run diff --git a/.semgrepignore b/.semgrepignore new file mode 100644 index 000000000..8a1cdf0cb --- /dev/null +++ b/.semgrepignore @@ -0,0 +1,7 @@ +:include .gitignore + +/benchkit/ +/docs/ +/testkit/ +/testkitbackend/ +/tests/