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

Merge Develop into Release
semgrep · May 7, 2024 · 055290e · 055290e
2 parents d9ccd4c + b746ec3
commit 055290e
Show file tree

Hide file tree

Showing 10 changed files with 84 additions and 671 deletions.
diff --git a/.github/rulerascal/README.md b/.github/rulerascal/README.md
diff --git a/.github/rulerascal/main.py b/.github/rulerascal/main.py