Skip to content

chore: update pre-commit to semgrep 1.138.0#84

Merged
github-actions[bot] merged 1 commit intodevelopfrom
gha/bump-version-1.138.0-18011379023-1
Sep 25, 2025
Merged

chore: update pre-commit to semgrep 1.138.0#84
github-actions[bot] merged 1 commit intodevelopfrom
gha/bump-version-1.138.0-18011379023-1

Commits

Commits on Sep 25, 2025