Merge pull request #692 from ejgallego/bump_coq

[vendor] Bump Coq upstream
ejgallego · May 2, 2024 · 56ea2a2 · 56ea2a2
2 parents a4f7eac + f68c262
commit 56ea2a2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -102,6 +102,7 @@ jobs:
 
       - name: Install Coq and SerAPI into OPAM switch
         run: |
+          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
 

diff --git a/vendor/coq b/vendor/coq
diff --git a/vendor/coq-serapi b/vendor/coq-serapi