chore: update pre-commit to semgrep 1.143.0#91
Open
semgrep-ci[bot] wants to merge 1 commit intodevelopfrom
Open
chore: update pre-commit to semgrep 1.143.0#91semgrep-ci[bot] wants to merge 1 commit intodevelopfrom
semgrep-ci[bot] wants to merge 1 commit intodevelopfrom
Commits
Commits on Nov 12, 2025
- committed