diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index de3cb0118..8bcbb188d 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -13,8 +13,14 @@ jobs: mkdir build cd build cmake -DINTERVAL_LIB=${{ matrix.interval_lib }} -DLP_LIB=${{ matrix.lp_lib }} .. - - run: make - - run: make check + - name: make + run: | + cd build + make + - name: make check + run: | + cd build + make check strategy: matrix: interval_lib: [gaol, filib]