Skip to content

chore(github|security): remove semgrep ci#36

Merged
contrem merged 1 commit into
masterfrom
SEC-85/chore/remove-semgrep-ci
Jun 15, 2026
Merged

chore(github|security): remove semgrep ci#36
contrem merged 1 commit into
masterfrom
SEC-85/chore/remove-semgrep-ci

Commits

Commits on Jun 15, 2026