Semgrep job is the slowest job currently, taking +10s compared to the next slowest one. Find if we can speed it up somehow or find an alternative tool