From 854cfac284f0d7eba4987841bc425d3d2abe3301 Mon Sep 17 00:00:00 2001 From: Sebastian Reimers Date: Wed, 4 Oct 2023 09:00:20 +0200 Subject: [PATCH] ci/coverage: use trace --- .github/workflows/coverage.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 28236080a..42a61f732 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -29,7 +29,7 @@ jobs: - name: make run: | - cmake -B build -DCMAKE_C_FLAGS="--coverage" -DCMAKE_EXE_LINKER_FLAGS="--coverage" + cmake -B build -DCMAKE_C_FLAGS="--coverage" -DCMAKE_EXE_LINKER_FLAGS="--coverage" -DUSE_TRACE=ON cmake --build build -j -t retest - name: retest