Skip to content

ci: remove semgrep on each PR creation#18256

Merged
jacobbednarz merged 1 commit intoproductionfrom
remove-semgrep-on-prs
Nov 18, 2024
Merged

ci: remove semgrep on each PR creation#18256
jacobbednarz merged 1 commit intoproductionfrom
remove-semgrep-on-prs

Commits

Commits on Nov 18, 2024