Update ci.yml

google · Aug 14, 2024 · 7a3af4f · 7a3af4f
1 parent 5999a9b
commit 7a3af4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -37,5 +37,5 @@ jobs:
     - name: build for gcov
       run: make -j 8 -C build-gcov
     - name: run tests for gcov
-      run: make test -C build-gcov
+      run: ctest -E "symbolize"