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
In a glossary PR I merged yesterday the docs step ran, but the pre-commit step did not.
We can easily run the pre-commit also for PRs of new contributors.
Also we should probably fast-fail the CI if the pre-commit is red.