2024-05-16 08:51:41 -04:00
|
|
|
set -e
|
|
|
|
|
|
|
|
# Current script directory
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
|
|
|
if [[ "$VIRTUAL_ENV" == "" ]]
|
|
|
|
then
|
|
|
|
echo "Virtual environment is not activated"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
cd $DIR
|
|
|
|
|
|
|
|
echo "--- Running ruff format ---"
|
|
|
|
ruff format
|
|
|
|
echo "--- Running ruff check ---"
|
|
|
|
ruff check
|
2024-05-17 11:09:59 -04:00
|
|
|
echo "--- Running pyright ---"
|
2024-05-16 08:51:41 -04:00
|
|
|
pyright
|
2024-05-17 11:09:59 -04:00
|
|
|
echo "--- Running mypy ---"
|
2024-05-16 08:51:41 -04:00
|
|
|
mypy
|
2024-05-20 17:30:45 -06:00
|
|
|
echo "--- Running pytest ---"
|
2024-05-29 17:12:02 -04:00
|
|
|
pytest -n auto
|