Skip to content

chore: update pre-commit to semgrep 1.142.3#93

Merged
github-actions[bot] merged 1 commit intodevelopfrom
gha/bump-version-1.142.3-19377955852-1
Nov 14, 2025
Merged

chore: update pre-commit to semgrep 1.142.3#93
github-actions[bot] merged 1 commit intodevelopfrom
gha/bump-version-1.142.3-19377955852-1

Commits

Commits on Nov 14, 2025