Skip to content

Fixing psalm hints#4018

Merged
dartcafe merged 2 commits into
mainfrom
fix/happy-psalm
May 15, 2025
Merged

Fixing psalm hints#4018
dartcafe merged 2 commits into
mainfrom
fix/happy-psalm

Conversation

@dartcafe

Copy link
Copy Markdown
Collaborator

Just making psalm a happy psalm

dartcafe added 2 commits May 15, 2025 20:20
Signed-off-by: dartcafe <github@dartcafe.de>
Signed-off-by: dartcafe <github@dartcafe.de>
@dartcafe dartcafe added this to the 8.0 milestone May 15, 2025
@dartcafe dartcafe merged commit ec6ff10 into main May 15, 2025
45 checks passed
@dartcafe dartcafe deleted the fix/happy-psalm branch July 13, 2025 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant