diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-27 11:36:29 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-03-27 17:03:08 +0100 |
| commit | 27cca0a161ff913852f8344636e17489ef37672b (patch) | |
| tree | d35179eadb9016b74dbf31320918047203eeb53b /.github | |
| parent | a37cef9ee66bb380882b5a6c29b815276859e35a (diff) | |
| download | rust-27cca0a161ff913852f8344636e17489ef37672b.tar.gz rust-27cca0a161ff913852f8344636e17489ef37672b.zip | |
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.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 25397006ee2..51dd0f81ed1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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 }} |