search

leonardt / fault

A Python package for testing hardware (part of the magma ecosystem)
BSD 3-Clause "New" or "Revised" License
41 stars 13 forks source link

speed up travis build #195

Closed Kuree closed 4 years ago

Kuree commented 4 years ago

Use pre-built wheel for z3. This should speed up the macos build significantly.

leonardt commented 4 years ago

Merged into https://github.com/leonardt/fault/pull/196