Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
[CI] Build time optimizations #1712
CI builds take too long.
I don't want them to take that long to finish. This PR introduces some optimizations to the CI builds: