Skip to content

fix(github): strip OpenGrep platform suffixes#10166

Merged
jdx merged 1 commit into
jdx:mainfrom
risu729:fix/opengrep-platform-suffix-cleanup
May 31, 2026
Merged

fix(github): strip OpenGrep platform suffixes#10166
jdx merged 1 commit into
jdx:mainfrom
risu729:fix/opengrep-platform-suffix-cleanup

Commits

Commits on May 31, 2026