Merge branch 'develop' into semgrep-live-RelOq

semgrep · Jun 12, 2024 · d185710 · d185710
2 parents e6e5151 + ad49c15
commit d185710
Show file tree

Hide file tree

Showing 266 changed files with 2,955 additions and 6,237 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