requiring linter to pass in CI
since we are using pre-commit hooks now (!56 (merged)), I would suggest to make the linter step mandatory in the CI now
since we are using pre-commit hooks now (!56 (merged)), I would suggest to make the linter step mandatory in the CI now