fix: use opam pin add for installation of coq-waterproof

impermeable · Nov 7, 2023 · 3a0eda4 · 3a0eda4
1 parent 4164962
commit 3a0eda4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
@@ -110,7 +110,7 @@ jobs:
         if: always()
         shell: cmd
         run: |          
-          C:\cygwin_wp\bin\bash --login -c "opam install -y coq-waterproof.2.1.0+8.17"
+          C:\cygwin_wp\bin\bash --login -c "opam pin add -y https://github.com/impermeable/coq-waterproof.git#2.1.0+8.17"
   
       # - name: Install packages specified in cfg file
       #   if: always()