Backport CI speed up#21

Merged

jcfr merged 2 commits intomainfrom

backport-ci-speed-up

Jul 17, 2024

Commits on Jul 17, 2024

ci: Remove unneeded coverage support

jcfr
and
henryiii
committed
ci: Speed-up using "uv" instead of "pip"

jcfr
and
henryiii
committed