semgrep 1.88.0

[BrewTestBot]

Created by brew bump

---

Created with brew bump-formula-pr.

[SMillerDev]

  ==> opam install -y --deps-only ./
  Warning:  Failed checks on semgrep package definition from source at
            git+file:///tmp/semgrep-20240919-14367-tctoa5#HEAD:
             warning 62: License doesn't adhere to the SPDX standard, see
                https://spdx.org/licenses/ : "LGPL-2.1"
  Error:  Sorry, resolution of the request timed out.
          Try to specify a more precise request, use a different solver, or
          increase the allowed time by setting OPAMSOLVERTIMEOUT to a bigger
          value (currently, it is set to 60.0 seconds).

[chenrui333]

  ==> opam install -y --deps-only ./
  Warning:  Failed checks on semgrep package definition from source at
            git+file:///tmp/semgrep-20240919-14367-tctoa5#HEAD:
             warning 62: License doesn't adhere to the SPDX standard, see
                https://spdx.org/licenses/ : "LGPL-2.1"
  Error:  Sorry, resolution of the request timed out.
          Try to specify a more precise request, use a different solver, or
          increase the allowed time by setting OPAMSOLVERTIMEOUT to a bigger
          value (currently, it is set to 60.0 seconds).

seeing in the 1.86.0, but not in 1.87.0

[nmote]

We've seen that issue on some of our CI jobs, too. I've filed a ticket for this and we will address it when we have a chance.

[carlocab]

Superseded by #191306.