Failing depext install on windows

[SkySkimmer]

eg https://github.com/rocq-community/rocq-lsp/actions/runs/25496448387/job/74817386293

The following system packages will first need to be installed:
    mingw64-i686-gcc-core mingw64-i686-gmp mingw64-x86_64-gmp pkgconf

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

+ C:\.opam\.cygwin\setup-x86_64.exe "--root" "C:\\.opam\\.cygwin\\root" "--quiet-mode" "noinput" "--no-shortcuts" "--no-startmenu" "--no-desktop" "--no-admin" "--no-version-check" "--no-write-registry" "--packages" "mingw64-i686-gcc-core,mingw64-i686-gmp,mingw64-x86_64-gmp,pkgconf" "--symlink-type" "native" "--upgrade-also" "--only-site" "--site" "https://cygwin.mirror.constant.com/" "--local-package-dir" "C:\\.opam\\.cygwin\\cache"
Error: Process completed with exit code 1.

Not sure what's going on

[smorimoto]

What happens if you re-run it?

[SkySkimmer]

It has run a few times already with same error https://github.com/rocq-community/rocq-lsp/actions/runs/25445718848/job/74649127210 https://github.com/rocq-community/rocq-lsp/actions/runs/25446431242/job/74651749921 https://github.com/rocq-community/rocq-lsp/actions/runs/25497517967/job/74821129457 https://github.com/rocq-community/rocq-lsp/actions/runs/24994389015/job/73187557906