Print a message when no metrics.json is found

Author: Kobzol

.github/workflows/ci.yml

@@ -221,11 +221,6 @@ jobs:
 
       - name: postprocess metrics into the summary
         run: |
-          pwd
-          echo "build"
-          ls -lha build
-          echo "obj/build"
-          ls -lha obj/build
           if [ -f build/metrics.json ]; then
             ./build/citool/debug/citool postprocess-metrics build/metrics.json ${GITHUB_STEP_SUMMARY}
           elif [ -f obj/build/metrics.json ]; then