Lint

Follow-up on PR#75: update `run.py` accordingly (#80) #104

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Python / mypy	1m 10s
Python / black	1m 10s
Python / isort	1m 11s
C++ / clang-format	1m 7s
Python / pylint	1m 41s
	6m 19s