Fixes mismatching option between make and ninja

ECAP5 · Apr 25, 2024 · 2322d3a · 2322d3a
1 parent d7b99fd
commit 2322d3a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/simulate-with-verilator.yml b/.github/workflows/simulate-with-verilator.yml
@@ -118,7 +118,7 @@ jobs:
       # Checks if there is any testdata
       # Check if there is any fail in that testdata
       run: >-
-        ninja -C ${{github.workspace}}/build -k tests &&
+        ninja -C ${{github.workspace}}/build -k 0 tests &&
         ls -A1q ${{github.workspace}}/build/tests/testdata/ | grep -q . && 
         (! grep -qe "[^;]*;0" ${{github.workspace}}/build/tests/testdata/*)