Merge pull request #879 from ejgallego/bump_coq

[vendor] Bump Coq

.github/workflows/build.yml

@@ -169,7 +169,7 @@ 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,rocq-core,coq-stdlib,coqide-server,coq}.opam
+          opam install vendor/coq/{coq-core,rocq-core,stdlib/coq-stdlib,coqide-server,coq}.opam
 
       - name: Install `coq-lsp` into OPAM switch
         run: opam install .

test/server/src/Check.test.ts

@@ -31,19 +31,20 @@ test("Open file with wrong URI", async () => {
     "Definition a := 3.",
   );
 
-  await languageServer.sendNotification(
-    Protocol.DidOpenTextDocumentNotification.type,
-    {
-      textDocument,
-    },
-  );
   let p = new Promise<Protocol.PublishDiagnosticsParams>((resolve) => {
     languageServer.onNotification(
       Protocol.PublishDiagnosticsNotification.type,
       resolve,
     );
   });
 
+  await languageServer.sendNotification(
+    Protocol.DidOpenTextDocumentNotification.type,
+    {
+      textDocument,
+    },
+  );
+
   const checkDiags = async (params: Protocol.PublishDiagnosticsParams) => {
     if (params.diagnostics.length == 0) return "ok";
     else throw "wrong number of diags";