2023-03-09 12:14:37 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
# Runs type checker and linters.
|
|
|
|
|
|
|
|
|
|
# Ensure that we return to the current working directory
|
|
|
|
|
# and exit the script immediately in case of an error:
|
|
|
|
|
trap "cd $(realpath ${PWD}); exit 1" ERR
|
|
|
|
|
# Change into project root directory:
|
|
|
|
|
cd "$(dirname $(dirname $(realpath $0)))"
|
|
|
|
|
|
|
|
|
|
echo 'Performing type checks...'
|
|
|
|
|
mypy
|
|
|
|
|
echo
|
|
|
|
|
|
|
|
|
|
echo 'Linting source and test files...'
|
2023-03-10 16:57:26 +01:00
|
|
|
isort src/ tests/ --check-only
|
|
|
|
|
ruff src/ tests/
|
|
|
|
|
black src/ tests/ --check
|
2023-03-09 12:14:37 +01:00
|
|
|
echo -e 'No issues found.'
|
