[skip ci] Add comment for ci_logs.sh (#12425)

Signed-off-by: Jenny Li <jing.li@zilliz.com>
pull/12487/head
Jenny Li 2021-11-30 19:23:52 +08:00 committed by GitHub
parent 23737dd148
commit b3b22552bf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -18,6 +18,7 @@
set -e set -e
# Check unset variables # Check unset variables
set -u set -u
# Print commands
set -x set -x
SOURCE="${BASH_SOURCE[0]}" SOURCE="${BASH_SOURCE[0]}"