diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-14 22:21:41 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-03-15 09:24:43 +0100 |
| commit | 09d44a48b29fcf4c618ba38e592a1c4f365fc4e8 (patch) | |
| tree | fc567e8f6c7033715ce590668717a920e78de9ba /.github | |
| parent | 301c384262522d0c4b5577ffbd10642ee9bee24f (diff) | |
| download | rust-09d44a48b29fcf4c618ba38e592a1c4f365fc4e8.tar.gz rust-09d44a48b29fcf4c618ba38e592a1c4f365fc4e8.zip | |
Print metrics postprocessing to stdout
This allows the code to be simplified a little bit.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 01008d70b65..ffcdc40de3a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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 |