Skip to content

chore: Release Version 1.172.0 - #335

Open
semgrep-ide-plugins-release[bot] wants to merge 1 commit into
developfrom
gha/bump-version-1.172.0-30405619412-1
Open

chore: Release Version 1.172.0#335
semgrep-ide-plugins-release[bot] wants to merge 1 commit into
developfrom
gha/bump-version-1.172.0-30405619412-1

Bump semgrep to 1.172.0

db6d3dd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
GitHub Actions / actionlint succeeded Jul 28, 2026 in 0s

reviewdog [actionlint] report

reported by reviewdog 🐶

Findings (0)
Filtered Findings (0)
View more details on GitHub Actions