diff options
| author | coqbot-app[bot] | 2020-11-12 14:49:25 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-12 14:49:25 +0000 |
| commit | 176faf135778471e70a8d47387f9e7d05815609e (patch) | |
| tree | d5c5bb470e47a9c457f41dade752d2e8238d228e | |
| parent | 6d7877829b7265d6c416c17ea3bbacf65f306609 (diff) | |
| parent | 0cbd6c27cd66ee5517db0d4ecbd86dab80d12763 (diff) | |
Merge PR #13359: Print failed test suite logs in CI
Reviewed-by: ejgallego
Reviewed-by: herbelin
| -rwxr-xr-x | test-suite/report.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/report.sh b/test-suite/report.sh index 5b74bee0c7..0b8497b809 100755 --- a/test-suite/report.sh +++ b/test-suite/report.sh @@ -21,7 +21,7 @@ cp summary.log "$SAVEDIR"/ rm "$FAILED" # print info -if [ -n "$APPVEYOR" ] || [ -n "$PRINT_LOGS" ]; then +if [ -n "$CI" ] || [ -n "$PRINT_LOGS" ]; then find logs/ -name '*.log' -not -name 'summary.log' -print0 | while IFS= read -r -d '' file; do printf '%s\n' "$file" cat "$file" |