Pre-commits are fast, run separate from the GitHub Actions CIs, and allow for quick "lint fixes" directly the the PR.