diff --git a/.github/workflows/test-on-latest.yml b/.github/workflows/test-on-latest.yml
index eb7d66165a..3fd64c4bf3 100644
--- a/.github/workflows/test-on-latest.yml
+++ b/.github/workflows/test-on-latest.yml
@@ -76,4 +76,5 @@ jobs:
         cmake ../
         # cmake -DENABLE_UNIT_TESTS=ON -ENABLE_SYSTEM_TESTS=ON -DGTEST_SRC_DIR=~/klee/test ../
         make
+        # hello
         sudo make check