Changing Semgrep docker image#4

hrushikeshdeshpande wants to merge 1 commit intopqcloudflare/boringssl-pq:pqfrom

hrushikeshdeshpande-updating-semgrepcloudflare/boringssl-pq:hrushikeshdeshpande-updating-semgrepCopy head branch name to clipboard