diff --git a/.github/workflows/build_master.yml b/.github/workflows/build_master.yml
index 35215d529..af83ac642 100644
--- a/.github/workflows/build_master.yml
+++ b/.github/workflows/build_master.yml
@@ -52,7 +52,7 @@ jobs:
           fi
           (git add searchindex.js searchindex.json;
           git commit -m "Update searchindex";
-          git push) || true
+          git push) || echo "No changes to searchindex.js"
 
       # Login in AWs
       - name: Configure AWS credentials using OIDC