[test] Add logging for failing test on windows.

ejgallego · Feb 23, 2023 · 7c1278c · 7c1278c
1 parent 865910d
commit 7c1278c
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 63 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -18,18 +18,6 @@ jobs:
     strategy:
       matrix:
         include:
-          - os: ubuntu-latest
-            ocaml: 4.14.x
-          - os: ubuntu-latest
-            ocaml: 4.13.x
-          - os: ubuntu-latest
-            ocaml: 4.12.x
-          - os: ubuntu-latest
-            ocaml: 4.11.x
-          - os: ubuntu-latest
-            ocaml: 5.0.x
-          - os: macos-latest
-            ocaml: 4.14.x
           - name: Windows Latest
             ocaml: 4.14
             os: windows-latest
@@ -57,54 +45,4 @@ jobs:
         run: opam exec -- make build
 
       - name: 🐛 Test coq-lsp
-        if: matrix.os != 'windows-latest'
         run: opam exec -- make test
-
-  build-nix:
-    name: Nix
-    strategy:
-      matrix:
-        os: [macOS-latest, ubuntu-latest]
-      fail-fast: false
-
-    runs-on: ${{ matrix.os }}
-
-    steps:
-      - name: 🔭 Checkout code
-        uses: actions/checkout@v3
-        with:
-          submodules: recursive
-
-      - name: ❄️ Setup Nix
-        uses: cachix/install-nix-action@v18
-
-      - name: 🧱 Build coq-lsp
-        run: nix build .?submodules=1
-
-  client-compile:
-    runs-on: ubuntu-latest
-    defaults:
-      run:
-        working-directory: ./editor/code
-    steps:
-      - name: 🔭 Checkout code
-        uses: actions/checkout@v3
-      - name: 🚀 Setup node
-        uses: actions/setup-node@v3
-        with:
-          node-version: 16
-      - run: npm ci
-      - run: npx --yes vsce ls
-
-  treefmt:
-    name: Format
-    runs-on: ubuntu-latest
-    steps:
-      - name: 🔭 Checkout code
-        uses: actions/checkout@v3
-        with:
-          submodules: recursive
-      - name: ❄️ Setup Nix
-        uses: cachix/install-nix-action@v18
-      - name: 📐 Format with alejandra, ocamlformat, prettier
-        run: nix fmt
diff --git a/test/package.json b/test/package.json
@@ -13,6 +13,6 @@
     "vscode-uri": "^3.0.7"
   },
   "scripts": {
-    "test": "jest --detectOpenHandles"
+    "test": "jest --detectOpenHandles --silent false"
   }
 }
diff --git a/test/src/Check.test.ts b/test/src/Check.test.ts
@@ -5,12 +5,22 @@ test("Fully checks ex1.v", async () => {
   let languageServer = LanguageServer.start();
   await languageServer.initialize({ trace: "verbose" });
 
+  languageServer.onNotification(Protocol.LogTraceNotification.type, (e) => {
+    console.log(e.message);
+    if (e.verbose) console.log(e.verbose);
+  });
+
+  languageServer.onNotification(Protocol.LogMessageNotification.type, (e) => {
+    console.log(e.message);
+  });
+
   await languageServer.sendNotification(
     Protocol.DidOpenTextDocumentNotification.type,
     {
       textDocument: LanguageServer.openExample("ex1.v"),
     }
   );
+
   let p = new Promise<Protocol.PublishDiagnosticsParams>((resolve) => {
     languageServer.onNotification(
       Protocol.PublishDiagnosticsNotification.type,