PR welcomegood first issue
Description
After #634, we can add a style check job in CI to complement https://pre-commit.ci and the pre-commit hooks we have, running on PRs.
After #634, we can add a style check job in CI to complement https://pre-commit.ci and the pre-commit hooks we have, running on PRs.