Deploy details

Deploy successful for semgrep-docs-prod

Mar 27 at 10:52 PM

PR #2062: armchairlinguist/align-style-semgrepignore@753deca