Closed mrobinson closed 1 year ago
This seems to drop Windows CI times from 30 minutes to 10.
@bors-servo r+
:pushpin: Commit a5125d9 has been approved by jdm
:hourglass: Testing commit a5125d9e3fa767dcdd6d58326aae86d8239acf9a with merge 235cf2b1c7a25bdac61b240300d9d3d884754cb2...
:sunny: Test successful - checks-github Approved by: jdm Pushing 235cf2b1c7a25bdac61b240300d9d3d884754cb2 to master...