chore: try to optimize CI a bit further

This commit is contained in:
Simon Cruanes 2020-12-21 18:23:47 -05:00
parent 954f1c6765
commit b5c0de301d

View file

@ -24,9 +24,9 @@ jobs:
- run: opam depext -yt containers containers-data containers-thread - run: opam depext -yt containers containers-data containers-thread
if: steps.cache-opam.outputs.cache-hit != 'true' if: steps.cache-opam.outputs.cache-hit != 'true'
- run: opam install -t . --deps-only - 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 - 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 build
- run: opam exec -- dune runtest - run: opam exec -- dune runtest
if: ${{ matrix.os != 'windows-latest' }} if: ${{ matrix.os != 'windows-latest' }}