Merge pull request #3377 from semgrep/merge-develop-to-release

Merge Develop into Release
semgrep · May 10, 2024 · dd88a4b · dd88a4b
2 parents 055290e + 4c5bd64
commit dd88a4b
Show file tree

Hide file tree

Showing 15 changed files with 484 additions and 89 deletions.
diff --git a/Pipfile b/Pipfile
@@ -4,7 +4,7 @@ url = "https://pypi.org/simple"
 verify_ssl = true
 
 [dev-packages]
-jinja2 = "~=3.1.3"
+jinja2 = "~=3.1.4"
 pytest = "*"
 semgrep = "*"
 pyyaml = "*"

diff --git a/Pipfile.lock b/Pipfile.lock