From 60dc752c7789a322f4a578aecbbe1f17e8088f97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sacha-=C3=89lie=20Ayoun?= Date: Thu, 3 Apr 2025 17:15:08 +0100 Subject: [PATCH] don't install lsp/jsonrpc in CI... MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Sacha-Élie Ayoun --- .github/workflows/main.yml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index cce2c037..20ad873d 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -39,10 +39,6 @@ jobs: - 5.1.x - 5.2.x - 5.3.x - lsp-version: - - 1.19.0 - - 1.20.1 - - 1.22.0 runs-on: ${{ matrix.os }} steps: - uses: actions/checkout@main @@ -54,8 +50,6 @@ jobs: dune-cache: true allow-prerelease-opam: true - run: opam pin -n . - - run: opam pin add jsonrpc ${{ matrix.lsp-version }} - - run: opam pin add lsp ${{ matrix.lsp-version }} - run: opam depext -yt linol linol-lwt linol-eio - run: opam install -t . --deps-only - run: opam exec -- dune build