From 124a808b54c5e7a7b7c88b1f343a8c425847d695 Mon Sep 17 00:00:00 2001 From: Fardale Date: Mon, 25 Jan 2021 19:44:00 +0100 Subject: [PATCH] chore(CI): test core on non ubuntu platform --- .github/workflows/main.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c8b5225f..214a7ff4 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -30,3 +30,5 @@ jobs: - run: opam exec -- dune build - run: opam exec -- dune runtest if: ${{ matrix.os == 'ubuntu-latest' }} + - run: opam exec -- dune runtest -p containers # test only core on non-ubuntu platform + if: ${{ matrix.os != 'ubuntu-latest' }}