Skip to content

chore: update pre-commit to semgrep 1.142.2#92

Merged
github-actions[bot] merged 1 commit intodevelopfrom
gha/bump-version-1.142.2-19317566845-1
Nov 13, 2025
Merged

chore: update pre-commit to semgrep 1.142.2#92
github-actions[bot] merged 1 commit intodevelopfrom
gha/bump-version-1.142.2-19317566845-1

Commits

Commits on Nov 13, 2025