Enable pre-commit.ci for style checking

[flferretti]

This PR removes the current style checking from GitHub Actions and moves it to pre-commit.ci, this will allow for additional checking.

Closes #195

---

📚 Documentation preview 📚: https://jaxsim--197.org.readthedocs.build//197/

[diegoferigo]

Before reviewing this PR, a curiosity. Is there any way to perform this check without relying on external services? And I mean, can we do it using a regular GitHub workflow?

[flferretti]

Before reviewing this PR, a curiosity. Is there any way to perform this check without relying on external services? And I mean, can we do it using a regular GitHub workflow?

Yes, there is the lite version of the CI, you can find more details at https://pre-commit.ci/lite.html

[flferretti]

Btw I temporarily disabled the pre-commit.ci integration from the repo as it got super annoying with the automatic commit fixes

[diegoferigo]

If there is an option providing all the features we need that doesn't use any external service, I'd rather go towards that way. Many years ago, we were interfacing with similar external services (like CirleCI, TravisCI, etc), and they are definitely more prone to get broken, be down, or have some sort of problems.

Would it require a big effort enabling the lite version as GitHub Workflow?

[flferretti]

Would it require a big effort enabling the lite version as GitHub Workflow?

Totally not, I'll add that

[flferretti]

After discussing with @diegoferigo, we decided to use the pre-commit.ci instead of the GitHub Actions integration as it is faster and it is actively maintained.

I pushed a dummy commit to verify that the CI actually fails when the formatting is wrong. This can be fixed in three ways:

1. use pre-commit hook (suggested)
2. trigger the bot commenting with pre-commit.ci autofix
3. adding a pre-commit.ci autofix label (to avoid)

[flferretti]

pre-commit.ci autofix

[flferretti]

I dropped the last commit, for some reason the bot doesn't work. It may be due to some issue upstream, but I'll verify that. Ready for review @diegoferigo, thanks a lot!

[diegoferigo]

Can you please also cherry pick the updates of #200 here?

[flferretti]

Can you please also cherry pick the updates of #200 here?

Done in b79406c.

Would you like to add anything? Otherwise I'll merge this

[diegoferigo]

Nope, good to go, thanks!