You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We experimented with pre-commit.ci in #196#199 and #221 and decided to stick to GitHub actions for consistency.
But it's pretty useful, so we should probably add it to the CI recommended tools page. Especially for public projects. I might even be tempted to put it as green.
The text was updated successfully, but these errors were encountered:
We experimented with pre-commit.ci in #196 #199 and #221 and decided to stick to GitHub actions for consistency.
But it's pretty useful, so we should probably add it to the CI recommended tools page. Especially for public projects. I might even be tempted to put it as green.
The text was updated successfully, but these errors were encountered: