Skip to content
Update semgrep to [0.72.0](https://github.com/returntocorp/semgrep/releases/tag/v0.72.0)