[all-commits] [llvm/llvm-project] b7762f: Bump required minimal Z3 version from 4.7.1 to 4.8...

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b7762f2e64af34506447b56eea7bdbabd8568718
      https://github.com/llvm/llvm-project/commit/b7762f2e64af34506447b56eea7bdbabd8568718
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2024-06-26 (Wed, 26 Jun 2024)

  Changed paths:
    M llvm/CMakeLists.txt

  Log Message:
  -----------
  Bump required minimal Z3 version from 4.7.1 to 4.8.9 (#96682)

https://discourse.llvm.org/t/bump-minimal-z3-requirements-from-4-7-1-to-4-8-9/79664

This supposed to unblock #95128 and #95129.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications