[llvm] [ci][github][analyzer] Enable Z3 for Clang Static Analyzer on Linux (PR #184695)

[Balázs Benics via llvm-commits]

steakhal wrote:

I want to be sure I understand your position to be able to resolve them. @boomanaiden154
Judging the last couple replies we tried to address your comments, but you imply that we might have missed some.

One that comes to my mind is better reproduction instructions in case of failures. Is this the only blocker for this?
I'll try to explore our options addressing this in the mean time.

https://github.com/llvm/llvm-project/pull/184695