ci: Deduplicate and add timing measurements

This won't affect CI performance, but should hopefully make it easier to make and measure improvements.