Improve CI times
Closed this issue · 1 comments
Gopiandcode commented
CI takes 30 minutes, making it essentially useless. The problem is that we build Z3 and Coq each time, which takes forever, Can we make it faster?
If so, then we can re-enable running benchmarks as well.
Gopiandcode commented
Hot damn, that's fast! Nice work @mkeoliya.