diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-13 14:48:18 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-03-13 14:48:18 +0100 |
| commit | 611764417bd35f631a6384ec0acd88fbc37cdb9d (patch) | |
| tree | eb36602e28eace4d1a5fa3339afbd134ec92e9c2 | |
| parent | aab643f4a75c41f45ad70855a2fb52d27a07225f (diff) | |
| download | rust-611764417bd35f631a6384ec0acd88fbc37cdb9d.tar.gz rust-611764417bd35f631a6384ec0acd88fbc37cdb9d.zip | |
Output job doc URL to allow Rust Log Analyzer to access it
| -rw-r--r-- | .github/workflows/ci.yml | 1 | ||||
| -rwxr-xr-x | src/ci/run.sh | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f166e0c0b41..98fac742450 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -68,6 +68,7 @@ jobs: timeout-minutes: 360 env: CI_JOB_NAME: ${{ matrix.name }} + CI_JOB_DOC_URL: ${{ matrix.doc_url }} 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 }} diff --git a/src/ci/run.sh b/src/ci/run.sh index b874f71832d..5bb64492033 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -6,6 +6,10 @@ if [ -n "$CI_JOB_NAME" ]; then echo "[CI_JOB_NAME=$CI_JOB_NAME]" fi +if [ -n "$CI_JOB_DOC_URL" ]; then + echo "[CI_JOB_DOC_URL=$CI_JOB_DOC_URL]" +fi + if [ "$NO_CHANGE_USER" = "" ]; then if [ "$LOCAL_USER_ID" != "" ]; then id -u user &>/dev/null || useradd --shell /bin/bash -u $LOCAL_USER_ID -o -c "" -m user |