From 3d87d2672e581d350984c0bed5f4605e13fc93ac Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 21 Feb 2022 16:30:58 -0500 Subject: [PATCH] =?UTF-8?q?ci=20=F0=9F=98=B1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .github/workflows/main.yml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 4c735dfb..3b256ded 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -38,14 +38,12 @@ jobs: - run: opam install -t containers containers-data containers-thread --deps-only if: matrix.os == 'ubuntu-latest' - - run: opam pin dune 2.9.3 -y -n - - run: | - opam install -t containers --deps-only + opam install -t containers --deps-only ; opam install containers-data containers-thread --deps-only # no test deps if: matrix.os != 'ubuntu-latest' - - run: opam exec -- dune build @install + - run: opam exec -- dune build '@install' - run: opam exec -- dune runtest if: ${{ matrix.os == 'ubuntu-latest' }}