diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-15 09:35:29 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-03-15 11:16:11 +0100 |
| commit | 30d57576b9040a438adc2414540da3778addf34b (patch) | |
| tree | 6196f7c1a56843cad21ab1f9add481caf5c65052 /.github | |
| parent | 6c24c9c088a0eb858976781090a5b1fbb57981bb (diff) | |
| download | rust-30d57576b9040a438adc2414540da3778addf34b.tar.gz rust-30d57576b9040a438adc2414540da3778addf34b.zip | |
Print test diffs into GitHub summary
So that we can also observe them for try builds, before merging a PR.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ffcdc40de3a..aaae67c28bc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -252,7 +252,12 @@ jobs: exit 0 fi + # Get closest bors merge commit + PARENT_COMMIT=`git rev-list --author='bors <bors@rust-lang.org>' -n1 --first-parent HEAD^1` + ./build/citool/debug/citool postprocess-metrics \ + --job-name ${CI_JOB_NAME} \ + --parent ${PARENT_COMMIT} \ ${METRICS} >> ${GITHUB_STEP_SUMMARY} - name: upload job metrics to DataDog |
