Add CI metadata to bootstrap metrics

This will allow us to provide links to CI workflows, jobs and summaries in the post-merge analysis report.
This commit is contained in:
Jakub Beránek 2025-03-27 11:36:29 +01:00
parent a37cef9ee6
commit 27cca0a161
5 changed files with 38 additions and 5 deletions

View file

@ -69,6 +69,8 @@ jobs:
env:
CI_JOB_NAME: ${{ matrix.name }}
CI_JOB_DOC_URL: ${{ matrix.doc_url }}
GITHUB_WORKFLOW_RUN_ID: ${{ github.run_id }}
GITHUB_REPOSITORY: ${{ github.repository }}
CARGO_REGISTRIES_CRATES_IO_PROTOCOL: sparse
# commit of PR sha or commit sha. `GITHUB_SHA` is not accurate for PRs.
HEAD_SHA: ${{ github.event.pull_request.head.sha || github.sha }}