Skip to content
This repository has been archived by the owner on Apr 4, 2024. It is now read-only.

ci: semgrep config#917

Merged
fedekunze merged 3 commits intomainfrom fedekunze/semgrepJan 24, 2022

Commits

Commits on Jan 24, 2022