Fix passed make variable

dspinellis · Jul 24, 2024 · 767cd29 · 767cd29
1 parent 144299f
commit 767cd29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -31,7 +31,7 @@ jobs:
         run: make
 
       - name: Run tests
-        run: make test -DTEST_FLAGS=-k
+        run: make test TEST_FLAGS=-k
   build-and-test-macos:
     runs-on: macos-latest