Code

[debug windows ci problem]#424

Code

Closed

ejgallego wants to merge 5 commits intomainejgallego/coq-lsp:mainfrom tmp_win_tryejgallego/coq-lsp:tmp_win_tryCopy head branch name to clipboard

+76-20

Commits

Commits on Sep 26, 2023

• [test] Add logging for failing test on windows.

  ejgallego

  committed
  c2302ea

• wip

  ejgallego

  committed
  2bf243b

• tmp

  ejgallego

  committed
  7a329a6

• tmate

  ejgallego

  committed
  05d4e68

• Try better config method

  ejgallego

  committed
  253c288