Merge pull request #18555 from taosdata/chore/sangshuduo/TD-19590-sanitizer-align

chore: taos-tools add sanitizer workflow
This commit is contained in:
Shengliang Guan 2022-11-30 10:48:10 +08:00 committed by GitHub
commit 71f3ce8e96
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -2,7 +2,7 @@
# taos-tools
ExternalProject_Add(taos-tools
GIT_REPOSITORY https://github.com/taosdata/taos-tools.git
GIT_TAG d19e82c
GIT_TAG cf30c86
SOURCE_DIR "${TD_SOURCE_DIR}/tools/taos-tools"
BINARY_DIR ""
#BUILD_IN_SOURCE TRUE