diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8a322c01..7c49259d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -277,4 +277,4 @@ jobs:
           cmake -B build -DCMAKE_BUILD_TYPE=Release -DZINT_TEST=ON
           cmake --build build --config Release
           cd build
-          ctest -V -C $BUILD_TYPE
+          ctest -V