From 5640bb36acb86ca4b9026e259a865df5e880d75c Mon Sep 17 00:00:00 2001 From: Alessandro Ghedini Date: Fri, 20 Sep 2024 10:01:57 +0100 Subject: [PATCH] add semgrep ignore file --- .semgrepignore | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .semgrepignore diff --git a/.semgrepignore b/.semgrepignore new file mode 100644 index 0000000000..5054233eb0 --- /dev/null +++ b/.semgrepignore @@ -0,0 +1,3 @@ +/apps/ +/fuzz/ +/quiche/examples/