Skip to content

Add psalm check action#28

Merged
marcelklehr merged 1 commit intomainfrom
enh/add-psalm
Jan 11, 2024
Merged

Add psalm check action#28
marcelklehr merged 1 commit intomainfrom
enh/add-psalm

Conversation

@julien-nc
Copy link
Member

Configure psalm, fix all errors.

@MB-Finski Let's merge this first, then you could rebase #27 and fix potential psalm errors.

Signed-off-by: Julien Veyssier <julien-nc@posteo.net>
@julien-nc julien-nc added the enhancement New feature or request label Jan 11, 2024
@julien-nc julien-nc requested a review from MB-Finski January 11, 2024 12:11
@marcelklehr marcelklehr merged commit 000cc64 into main Jan 11, 2024
@marcelklehr marcelklehr deleted the enh/add-psalm branch January 11, 2024 12:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants