[skip ci] Add comment for ci-util.sh (#12194)

Signed-off-by: Jenny Li <jing.li@zilliz.com>
This commit is contained in:
Jenny Li 2021-11-23 10:27:14 +08:00 committed by GitHub
parent 73f18c564f
commit c66dcdf08b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -16,6 +16,7 @@
# Exit immediately for non zero status
set -e
# Check unset variables
set -u
set -x