tools/check_source.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#!/bin/sh


set -euf


script="$(realpath "$0")"
tools="$(dirname "$script")"
root="$(dirname "$tools")"


black "$root"
mypy --strict "$root"
flake8 "$root"