diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check_source.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/check_source.sh b/tools/check_source.sh index a401418..de8c790 100755 --- a/tools/check_source.sh +++ b/tools/check_source.sh @@ -12,3 +12,4 @@ root="$(dirname "$tools")" black "$root" mypy --strict "$root" flake8 "$root" +pytest "$root" |