Debug semgrep options

1 job for main in 49 seconds (queued for 5 seconds)