Skip to content

treewide: Pacify the linter#267

Merged
phsauter merged 1 commit intomasterfrom
phsauter/lint
Sep 12, 2025
Merged

treewide: Pacify the linter#267
phsauter merged 1 commit intomasterfrom
phsauter/lint

Conversation

@phsauter
Copy link
Collaborator

Pacify the linter again after #259 introduced problems (actions did not run since it came from external and it was not required to run, settings changed accordingly).

@phsauter phsauter merged commit ba5daf0 into master Sep 12, 2025
5 checks passed
@phsauter phsauter deleted the phsauter/lint branch September 12, 2025 14:52
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.

1 participant