Skip to content
This repository was archived by the owner on Jan 18, 2026. It is now read-only.

chore: update linter#580

Merged
nrwiersma merged 1 commit intomainfrom
linter
Nov 26, 2025
Merged

chore: update linter#580
nrwiersma merged 1 commit intomainfrom
linter

Conversation

@nrwiersma
Copy link
Member

Goal of this PR

This bumps the linter and fixes linter issues.

How did I test it?

@nrwiersma nrwiersma self-assigned this Nov 26, 2025
@nrwiersma nrwiersma merged commit dd9ac90 into main Nov 26, 2025
15 checks passed
@nrwiersma nrwiersma deleted the linter branch November 26, 2025 05:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant