Skip to content

add pint linter to Makefile#996

Merged
deer-wmde merged 2 commits into
mainfrom
de/lint2
Nov 11, 2025
Merged

add pint linter to Makefile#996
deer-wmde merged 2 commits into
mainfrom
de/lint2

Conversation

@deer-wmde
Copy link
Copy Markdown
Contributor

@deer-wmde deer-wmde commented Nov 7, 2025

I started #995
but I'm not sure anymore if removing the existing psalm conf is beneficial.

Makefile targets for the newer linter we user are definitely helpful though, so I moved them into their own PR.

@deer-wmde deer-wmde merged commit a90eb6a into main Nov 11, 2025
5 checks passed
@deer-wmde deer-wmde deleted the de/lint2 branch November 11, 2025 08:48
deer-wmde added a commit that referenced this pull request Dec 15, 2025
* adjust Makefile

* add -T for prettyness
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