From c0828ddd572be78f12dc3f3947d3bd3bd8352271 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Juan=20Pedro=20Bol=C3=ADvar=20Puente?= Date: Tue, 17 Sep 2024 13:47:53 +0200 Subject: [PATCH] Use ninja instead --- .github/workflows/test.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 47cf4b1..571104a 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -84,10 +84,10 @@ jobs: - name: configure cmake run: | nix-shell --argstr compiler ${{ matrix.compiler }} --run " - cd build && cmake .. \ + cd build && cmake -GNinja .. \ -DCMAKE_BUILD_TYPE=${{ matrix.type }} \ -DENABLE_COVERAGE=${{ contains(matrix.opts, 'coverage') }} " - - run: nix-shell --argstr compiler ${{ matrix.compiler }} --run "cd build && make check -j`nproc`" + - run: nix-shell --argstr compiler ${{ matrix.compiler }} --run "cd build && ninja check" - run: nix-shell --argstr compiler ${{ matrix.compiler }} --run "bash <(curl -s https://codecov.io/bash)" if: ${{ contains(matrix.opts, 'coverage') }}