fix

Signed-off-by: Stefan Marr <[email protected]>
smarr · Jan 26, 2025 · 80190b0 · 80190b0
1 parent 5b01cf4
commit 80190b0
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -154,7 +154,9 @@ jobs:
             rebench -d -v ../rebench.conf e:TestRunner2
             REBENCH_EXIT=$?
           
-            if [ $REBENCH_EXIT -ne 1 ]; then
+            echo "rebench exit code: $REBENCH_EXIT"
+          
+            if [ "$REBENCH_EXIT" -ne "1" ]; then
               echo "rebench failed unexpectedly"
               exit $REBENCH_EXIT
             fi
@@ -166,7 +168,7 @@ jobs:
               echo "test.data not found"
               exit 1
             fi
-            if [ $(wc -l < test.data) -ne 19 ]; then
+            if [ "$(wc -l < test.data)" -ne "19" ]; then
               echo "test.data has wrong number of lines"
               exit 1
             fi