No need to test grep command result

GUDHI · Feb 4, 2025 · 4776a03 · 4776a03
1 parent 5cdc175
commit 4776a03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -137,7 +137,7 @@ jobs:
             cd build
             cmake -DWITH_GUDHI_THIRD_PARTY=OFF ..
             make doxygen
-            grep warning doxygen.log
+            grep warning doxygen.log || true # No need to test the result of this command
             cp doxygen.log html/
             cp -R html /tmp/doxygen