Skip to content

remove deprecated semgrep action#461

Merged
paologallinaharbur merged 1 commit intomainfrom fix/remove-deprecated-actionNov 21, 2023

Commits

Commits on Nov 20, 2023