diff --git a/.semgrepignore b/.semgrepignore new file mode 100644 index 000000000..55a5520da --- /dev/null +++ b/.semgrepignore @@ -0,0 +1,16 @@ +:include .gitignore + +.git + +src/test + +benchkit +benchkit-backend + +driver-it +examples + +testkit +testkit-backend +testkit-tests +