[ci] Update Opam Install CI for stable Coq versions.

ejgallego · May 31, 2024 · 386caa9 · 386caa9
1 parent 73a3cf8
commit 386caa9
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -82,7 +82,7 @@ jobs:
         run: opam exec -- make test-compiler
 
   build-opam:
-    name: Opam dev install
+    name: Opam Install
     strategy:
       fail-fast: false
     runs-on: ubuntu-latest
@@ -102,8 +102,6 @@ jobs:
         run: |
           opam install lwt logs # Also build pet-server
           opam install memprof-limits # We need to do this to avoid coq-lsp rebuilding Coq below due to deptops
-          opam install vendor/coq/{coq-core,coq-stdlib,coqide-server,coq}.opam
-          opam install vendor/coq-serapi/coq-serapi.opam
 
       - name: Install `coq-lsp` into OPAM switch
         run: opam install .