chore(ci): make lint happy

fumiama · Apr 4, 2024 · d8587de · d8587de
1 parent d27486f
commit d8587de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -21,4 +21,4 @@ jobs:
           cd build
           cmake -DBUILD=test ..
           make
-          make test || make test --rerun-failed --output-on-failure
+          make test || ctest --rerun-failed --output-on-failure