Closed cthoyt closed 2 days ago
This PR isolates the typo fixes proposed in #65. I'm still not comfortable to add a new CI script without an explanation of how to run it locally, so this just takes the concrete changes from that PR.
This PR isolates the typo fixes proposed in #65. I'm still not comfortable to add a new CI script without an explanation of how to run it locally, so this just takes the concrete changes from that PR.