Closed JasonGross closed 4 months ago
zarith installs fine (https://github.com/ocsigen/js_of_ocaml/actions/runs/10113804774/job/27970974184)
I think you need to drop the sunset repo opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset
https://github.com/mit-plv/fiat-crypto/actions/runs/9921830869/job/27410226547?pr=1925