Release v1.12.0

1.12.0 - 2023-02-13

Fixed

• CLI: No longer reports rules as being run with a lack of interfile: true when interfile
  analysis was not requested. (pa-2528)
• CLI: The 1.11.0 release started printing log lines to stderr even when --quiet was on,
  making it impossible to get well-formed JSON output when mixing stdout and stderr.
  These lines are now gone, and output is again restricted to just scan results.
• Github actions: Output lines in GitHub Actions logs could appear scrambled,
  due to GitHub Actions mixing together the stdout and stderr streams
  in non-deterministic order. Semgrep will now log everything only to one stream in
  GitHub Actions when using text output mode, which ensures lines no longer appear
  scrambled.