ci: Run clippy on macOS against brew z3.

prove-rs / z3.rs

Rust bindings for the Z3 solver.

338 stars 105 forks source link

ci: Run clippy on macOS against brew z3. #254

Closed waywardmonkeys closed 11 months ago

waywardmonkeys commented 11 months ago

This is faster than having it do a build of Z3 as it does now and by running it on macOS against the brew installed Z3, it is going to be a more recent version of Z3 than what the system Z3 on Linux would be.