* CI: only test `peepmatic` in one job This avoids building Z3 in most jobs, which saves CI time. * Fix curl syntax on Windows Co-authored-by: Alex Crichton <alex@alexcrichton.com>
* CI: only test `peepmatic` in one job This avoids building Z3 in most jobs, which saves CI time. * Fix curl syntax on Windows Co-authored-by: Alex Crichton <alex@alexcrichton.com>