From d77c97dd025491d73e833bbc3a87384dffc37c14 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 29 Jul 2024 14:43:00 -0700 Subject: [PATCH] try dropping sunset windows repo --- .github/workflows/coq-windows.yml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index e1da3e6b183..17eac72b006 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -41,12 +41,9 @@ jobs: with: python-version: 3.x - name: Set up OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: 4.13.1 - opam-repositories: | - opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset - default: https://github.com/ocaml/opam-repository.git - run: opam depext coq.${{ env.COQ_VERSION }} - run: opam pin add --kind=version coq ${{ env.COQ_VERSION }} - run: opam install js_of_ocaml