Skip to content

chore(deps-dev): bump semgrep from 1.130.0 to 1.131.0#195

Merged
mergify[bot] merged 1 commit intomainfrom
dependabot/pip/semgrep-1.131.0
Aug 1, 2025
Merged

chore(deps-dev): bump semgrep from 1.130.0 to 1.131.0#195
mergify[bot] merged 1 commit intomainfrom
dependabot/pip/semgrep-1.131.0

Commits

Commits on Aug 1, 2025