Merge branch 'master' into add_one_more_group

This commit is contained in:
mergify[bot] 2021-12-02 15:20:06 +00:00 committed by GitHub
commit c399eaf945
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 16 deletions

View File

@ -1,16 +0,0 @@
#!/usr/bin/env bash
CURDIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
# shellcheck source=../shell_config.sh
. "$CURDIR"/../shell_config.sh
# This test is pretty depend on query execution time
# In release, it works about 14 seconds with no timeout.
function run
{
${CLICKHOUSE_CLIENT} -q "select number from remote('127.0.0.2', numbers(10)) where number global in (select number + 9 from numbers(400000000)) settings max_execution_time=3" 2>&1 | cat > /dev/null
}
export -f run
timeout 10 bash -c run