Skip to content

Merge Develop into Release - #4032

Open
r2c-argo[bot] wants to merge 7 commits into
releasefrom
merge-develop-to-release
Open

Merge Develop into Release#4032
r2c-argo[bot] wants to merge 7 commits into
releasefrom
merge-develop-to-release

Merge pull request #4017 from semgrep/inline-pinned-precommit

40b8c63
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar