Skip to content

Conversation

@ilario-pierbattista
Copy link
Member

Resolves #25

@ilario-pierbattista ilario-pierbattista marked this pull request as ready for review May 11, 2021 20:59
@ilario-pierbattista ilario-pierbattista merged commit 9896d96 into master May 11, 2021
@ilario-pierbattista ilario-pierbattista deleted the 2105_fix_annotations branch May 11, 2021 21:00
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.

Use psalm specific annotations when dealing the psalm types

2 participants