Print metrics postprocessing to stdout

This allows the code to be simplified a little bit.
2026-05-28 20:16:58 +03:00 · 2025-03-14 22:21:41 +01:00
parent 301c384262
commit 09d44a48b2
3 changed files with 13 additions and 29 deletions
@@ -253,7 +253,7 @@ jobs:
          fi

          ./build/citool/debug/citool postprocess-metrics \
-              ${METRICS} ${GITHUB_STEP_SUMMARY}
+              ${METRICS} >> ${GITHUB_STEP_SUMMARY}

      - name: upload job metrics to DataDog
        # This step is not critical, and if some I/O problem happens, we don't want