Skip to content

NR-178842: Remove semgrep deprecated action#120

Merged
marcsanmi merged 1 commit intomasterfrom msanmiquel/remove-semgrepNov 30, 2023

Commits

Commits on Nov 30, 2023