diff options
| author | kennytm <kennytm@gmail.com> | 2018-04-06 01:09:59 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2018-04-06 01:09:59 +0800 |
| commit | 649f431acfaff1bcaad56f63b19c28499fb75964 (patch) | |
| tree | caf84371fc41976fa92de390173ec9ef0913b276 /src/ci | |
| parent | 56714acc5eb0687ed9a7566fdebe5528657fc5b3 (diff) | |
| download | rust-649f431acfaff1bcaad56f63b19c28499fb75964.tar.gz rust-649f431acfaff1bcaad56f63b19c28499fb75964.zip | |
Give a name to every CI job.
Bots that read the log can simply look for `[CI_JOB_NAME=...]` to find out the job's name.
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/docker/run.sh | 1 | ||||
| -rwxr-xr-x | src/ci/run.sh | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index ea2387b67db..c470ae7eb30 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -130,6 +130,7 @@ exec docker \ --env TRAVIS \ --env TRAVIS_BRANCH \ --env TOOLSTATE_REPO_ACCESS_TOKEN \ + --env CI_JOB_NAME="${CI_JOB_NAME-$IMAGE}" \ --volume "$HOME/.cargo:/cargo" \ --volume "$HOME/rustsrc:$HOME/rustsrc" \ --init \ diff --git a/src/ci/run.sh b/src/ci/run.sh index 44eae0d1800..119b239d6b2 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -11,6 +11,10 @@ set -e +if [ -n "$CI_JOB_NAME" ]; then + echo "[CI_JOB_NAME=$CI_JOB_NAME]" +fi + if [ "$NO_CHANGE_USER" = "" ]; then if [ "$LOCAL_USER_ID" != "" ]; then useradd --shell /bin/bash -u $LOCAL_USER_ID -o -c "" -m user |