Skip to content

Update to latest lints - #116

Merged
simolus3 merged 2 commits into
mainfrom
latest-lints
Oct 31, 2025
Merged

simolus3 merged 2 commits into
mainfrom
latest-lints

Conversation

@simolus3

Copy link
Copy Markdown
Contributor

This updates to the latest version of package:lints, 6.0.0. It also updates build packages to the latest versions.

After upgrading lints, I had to add a few missing type annotations.

@simolus3
simolus3 merged commit 71785c1 into main Oct 31, 2025
8 checks passed
@simolus3
simolus3 deleted the latest-lints branch October 27, 2026 09:54
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