Fix build.yml

MetaCoq · Jul 1, 2022 · 5668361 · 5668361
1 parent 2db84ca
commit 5668361
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -50,8 +50,6 @@ jobs:
           before_install: |
             startGroup "Print opam config"
               opam config list; opam repo list; opam list
-              opam pin -n coq-equations http://github.com/mattam82/Coq-Equations.git#8.16
-              opam install --confirm-level=unsafe-yes coq-equations.8.16.dev
             endGroup
           script: |
             startGroup "Build project"