Open
Description
See #41 - the change was made, but the pre-commit checks were not run.
I suspect this is due to the changes being made by the github workflows user, which is then prevented from spawning further jobs on a pull request.
Metadata
Metadata
Assignees
Labels
No labels