Update test-on-latest.yml

atharvatechnology · Jul 16, 2024 · d30d37d · d30d37d
1 parent 73b1e0f
commit d30d37d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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