From bb8a9d02d7fce319da8fbdbbf1d6d1e5027b68e7 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 21 Dec 2020 18:23:47 -0500 Subject: [PATCH] chore: try to optimize CI a bit further --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 73dc78a8..070c9ba8 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -24,9 +24,9 @@ jobs: - run: opam depext -yt containers containers-data containers-thread if: steps.cache-opam.outputs.cache-hit != 'true' - run: opam install -t . --deps-only - if: ${{ matrix.os != 'windows-latest' }} + if: ${{ matrix.os != 'windows-latest' }} and ${{ steps.cache-opam.outputs.cache-hit != 'true' }} - run: opam install . --deps-only # no test deps - if: ${{ matrix.os == 'windows-latest' }} + if: ${{ matrix.os == 'windows-latest' }} and ${{ steps.cache-opam.outputs.cache-hit != 'true' }} - run: opam exec -- dune build - run: opam exec -- dune runtest if: ${{ matrix.os != 'windows-latest' }}