From 5c9ecdd4f4ec14e62dfe243ee75e7cd86056f96e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 31 Jul 2024 01:47:26 -0700 Subject: [PATCH] Update coq-windows.yml: remove depext and sunset repo --- .github/workflows/coq-windows.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index 18fbf420c5..9e826dc2b9 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -44,10 +44,6 @@ jobs: 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