diff options
| author | DianQK <dianqk@dianqk.net> | 2024-04-09 21:46:04 +0800 |
|---|---|---|
| committer | DianQK <dianqk@dianqk.net> | 2024-04-09 21:46:06 +0800 |
| commit | d92f01a78d1baaf8fc1d8ef49049259b4e2676fc (patch) | |
| tree | 4f249e4dee0487f042dcb089c8a65b3c24001c3d | |
| parent | 9ed6e608c92632389b5397744b32e75a24afb884 (diff) | |
| download | rust-d92f01a78d1baaf8fc1d8ef49049259b4e2676fc.tar.gz rust-d92f01a78d1baaf8fc1d8ef49049259b4e2676fc.zip | |
Only output to `GITHUB_STEP_SUMMARY` in a CI environment
| -rwxr-xr-x | src/ci/docker/run.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 30c28a809be..df90c3875b1 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -339,7 +339,9 @@ docker \ rust-ci \ "${command[@]}" -cat $objdir/${SUMMARY_FILE} >> "${GITHUB_STEP_SUMMARY}" +if isCI; then + cat $objdir/${SUMMARY_FILE} >> "${GITHUB_STEP_SUMMARY}" +fi if [ -f /.dockerenv ]; then rm -rf $objdir |