Skip to content

Update lint#3239

Merged
peterebden merged 3 commits intothought-machine:masterfrom
peterebden:update-lint
Sep 10, 2024
Merged

Update lint#3239
peterebden merged 3 commits intothought-machine:masterfrom
peterebden:update-lint

Conversation

@peterebden
Copy link
Copy Markdown
Collaborator

Fixes a couple of warnings about a moved config option and a now irrelevant linter.
There's also a new linter checking for printf bits which seems legit enough to be worth fixing (apart from one case, anyway)

@peterebden peterebden merged commit 4fb34f8 into thought-machine:master Sep 10, 2024
@peterebden peterebden deleted the update-lint branch September 10, 2024 16:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants