My “I don’t use it” and “I think the checks are useful” vote may seem contradictory, but it reflects my workflow: I rely heavily on CI - which is more natural now that Draft PRs are a thing so I don’t feel like I’m spamming people with unfinished work.
What I could potentially imagine as nicer than make patchcheck or make lint is actually make push… that runs meaningful checks that must pass prior to doing a git push of my branch to a git repo name of my choosing.