2024-03-09 20:38:23 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
cd /ClickHouse/utils/check-style || echo -e "failure\tRepo not found" > /test_output/check_status.tsv
|
|
|
|
|
|
2024-03-11 08:45:58 +00:00
|
|
|
start_total=`date +%s`
|
|
|
|
|
|
2024-03-20 17:00:02 +00:00
|
|
|
start=`date +%s`
|
|
|
|
|
echo "Check " | ts
|
2024-03-11 12:07:39 +00:00
|
|
|
./check-black -n |& tee /test_output/black_output.txt
|
2024-03-20 17:00:02 +00:00
|
|
|
runtime=$((`date +%s`-start))
|
|
|
|
|
echo "Check python formatting with black. Done. $runtime seconds."
|
2024-03-09 20:38:23 +00:00
|
|
|
|
2024-03-11 08:45:58 +00:00
|
|
|
start=`date +%s`
|
2024-03-09 20:38:23 +00:00
|
|
|
./check-pylint -n |& tee /test_output/pylint_output.txt
|
2024-03-11 08:45:58 +00:00
|
|
|
runtime=$((`date +%s`-start))
|
|
|
|
|
echo "Check pylint. Done. $runtime seconds."
|
2024-03-09 20:38:23 +00:00
|
|
|
|
2024-03-11 08:45:58 +00:00
|
|
|
start=`date +%s`
|
2024-03-09 20:38:23 +00:00
|
|
|
./check-mypy -n |& tee /test_output/mypy_output.txt
|
2024-03-11 08:45:58 +00:00
|
|
|
runtime=$((`date +%s`-start))
|
|
|
|
|
echo "Check python type hinting with mypy. Done. $runtime seconds."
|
|
|
|
|
|
|
|
|
|
runtime=$((`date +%s`-start_total))
|
|
|
|
|
echo "Check python total. Done. $runtime seconds."
|
