From b8f11ff4337ad7b578ce37f08b13495f80418ed5 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 7 Apr 2026 21:04:57 -0400 Subject: [PATCH] optim ci --- .github/workflows/main.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index f1c9c00f..728f7d4c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -13,7 +13,6 @@ jobs: with: submodules: 'recursive' - run: opam pin -n . - - run: opam depext -yt linol linol-lwt - run: opam install linol linol-lwt --deps-only -t - run: opam exec -- dune build -p linol,linol-lwt - run: opam exec -- dune runtest -p linol,linol-lwt @@ -26,7 +25,6 @@ jobs: with: submodules: 'recursive' - run: opam pin -n . - - run: opam depext -yt linol linol-lwt linol-eio - run: opam install -t . --deps-only - run: opam exec -- dune build - run: opam exec -- dune runtest