revert CI to use Coq master

MetaCoq · Oct 17, 2023 · 5e391c0 · 5e391c0
1 parent 0f6d673
commit 5e391c0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -24,7 +24,7 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - '8.18'
+          - 'dev'
         ocaml_version:
           - '4.14-flambda'
         target: [ local, opam, quick ]
@@ -55,7 +55,6 @@ jobs:
             startGroup "Print opam config"
               sudo chown -R coq:coq .
               opam config list; opam repo list; opam list
-              opam pin -y coq-equations.1.3+8.18 "https://github.com/mattam82/Coq-Equations.git#8.18"
             endGroup
           script: |
             startGroup "Build project"