WIP

Author: Kobzol

.github/workflows/ci.yml

@@ -226,6 +226,8 @@ jobs:
           else
             export METRICS_FILE=obj/build/metrics.json
           fi
+          ls build
+          ls obj/build
           ./build/citool/debug/citool postprocess-metrics ${METRICS_FILE} ${GITHUB_STEP_SUMMARY}
 
   # This job isused to tell bors the final status of the build, as there is no practical way to detect