prove-rs / z3.rs

Rust bindings for the Z3 solver.
347 stars 110 forks source link

Improve CI speed. #255

Closed waywardmonkeys closed 1 year ago

waywardmonkeys commented 1 year ago

Instead of building the lib and then doing the tests, just do the tests. Otherwise, we end up building the lib twice.

This also: