diff options
| author | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-11 11:54:12 +0100 |
|---|---|---|
| committer | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-11 11:54:12 +0100 |
| commit | 754fb24313f4e4683a673ce73968c5ae240122f1 (patch) | |
| tree | 2e86747e7ced337b7f62d71986baa904b68b3b2f | |
| parent | d74de1fdb11749463c4f876f10360cd47c537fea (diff) | |
| download | rust-754fb24313f4e4683a673ce73968c5ae240122f1.tar.gz rust-754fb24313f4e4683a673ce73968c5ae240122f1.zip | |
debug
| -rwxr-xr-x | src/ci/scripts/run-build-from-ci.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ci/scripts/run-build-from-ci.sh b/src/ci/scripts/run-build-from-ci.sh index 55e75800d91..4ce6de8e857 100755 --- a/src/ci/scripts/run-build-from-ci.sh +++ b/src/ci/scripts/run-build-from-ci.sh @@ -17,7 +17,9 @@ echo "::add-matcher::src/ci/github-actions/problem_matchers.json" # the environment rustup self uninstall -y || true if [ -z "${IMAGE+x}" ]; then + echo "Running src/ci/run.sh" src/ci/run.sh else + echo "Running src/ci/docker/run.sh with image ${IMAGE}" src/ci/docker/run.sh "${IMAGE}" fi |