Skip to content

Merge pull request #484 from semgrep/martin/partial-ci #740

Merge pull request #484 from semgrep/martin/partial-ci

Merge pull request #484 from semgrep/martin/partial-ci #740