Description
Recently we had increasing network failures due to redownloading mingw tools. The first few times this fell to the usual "retry it again", but that's really not a great solution as we were losing quite a few half-finished runs for essentially no reason. An attempt to fix it caused some struggle with rollups due to the first try at a patch not quite panning out. In other words, we could use some more attention to the windows-gnu CI setup.
Per @mati865 in #125546 (comment) we have shell scripts that we run in our CI that has somewhat arcane names, as it discusses old tools we don't actually use.
@ChrisDenton intends to follow up but given all the above-mentioned network failures I wanted to make sure there was an issue for this.
Chris thinks this was enabled by #121876 in part. Thanks @jieyouxu and @Oneirical!