Open JasonGross opened 2 years ago
CC: @ocaml/opam-repository
Why pinging us? I'm not seeing any reference to cygpath
in opam-repository.
I'd suggest to look into ocamlfind or opam-repository-mingw instead
The issue appears to be a sporadic failure when flexlink calls cygpath (I’ve seen it before, too). It’s possibly it can be fixed by adding a retry loop to the call (as it tends to succeed on the following call)
I'm not sure if this is the right place to report this, but there seems to be a nondeterministic issue with the setup of OCaml/opam on Windows:
https://github.com/mit-plv/fiat-crypto/runs/7199984869?check_suite_focus=true#step:14:68