Skip to content

chore(ci): Remove Semgrep GHA Workflow#709

Merged
frederikprijck merged 1 commit intomainfrom
Remove-Semgrep-GHA-non-EMU
Sep 8, 2025
Merged

chore(ci): Remove Semgrep GHA Workflow#709
frederikprijck merged 1 commit intomainfrom
Remove-Semgrep-GHA-non-EMU

Commits

Commits on Jul 23, 2025