debug

GaloisInc · Aug 29, 2024 · a1ac183 · a1ac183
1 parent 8429bc0
commit a1ac183
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/server-ci.yml b/.github/workflows/server-ci.yml
@@ -55,8 +55,12 @@ jobs:
       - name: Build server
         working-directory: ./cn-lsp/server
         run: |
+          echo 1
           eval $(opam env)
+          echo 2
+          which dune
           dune build
+          echo 3
 
       - name: Run server tests
         working-directory: ./cn-lsp/server