try changing windows toolchains a different way

Author: jepler

.github/workflows/build.yml

@@ -247,13 +247,11 @@ jobs:
         python -c "import sys, locale; print(sys.getdefaultencoding(), locale.getpreferredencoding(False))"
         which python3; python3 --version
         python3 -c "import sys, locale; print(sys.getdefaultencoding(), locale.getpreferredencoding(False))"
-    - name: Get arm toolchain
-      uses: carlosperate/arm-none-eabi-gcc-action@v1
-      with:
-        # keep in sync with .github/actions/deps/external/action.yml
-        release: '13.2.Rel1'
     - name: Install dependencies
       run: |
+        wget --no-verbose -O gcc-arm.zip https://developer.arm.com/-/media/Files/downloads/gnu/13.2.rel1/binrel/arm-gnu-toolchain-13.2.rel1-mingw-w64-i686-arm-none-eabi.zip
+        unzip -q -d /tmp gcc-arm.zip
+        tar -C /tmp/arm-gnu-toolchain* -cf - . | tar -C /usr/local -xf -
         pip install wheel
         # requirements_dev.txt doesn't install on windows. (with msys2 python)
         # instead, pick a subset for what we want to do