Skip to content

Add semgrep and fix findings#88

Merged
Piccirello merged 2 commits intomainfrom
tom/semgrep
Jan 16, 2026
Merged

Add semgrep and fix findings#88
Piccirello merged 2 commits intomainfrom
tom/semgrep

Commits

Commits on Jan 16, 2026