Skip to content

Comments

Psalm#62

Merged
Taluu merged 3 commits intomasterfrom
psalm
Feb 6, 2020
Merged

Psalm#62
Taluu merged 3 commits intomasterfrom
psalm

Conversation

@Taluu
Copy link
Owner

@Taluu Taluu commented Feb 5, 2020

Let's use psalm. o/

@Taluu Taluu force-pushed the psalm branch 3 times, most recently from 7233744 to 791a0a8 Compare February 6, 2020 10:59
Taluu added 2 commits February 6, 2020 12:00
Level 1 (totallyType) is bothersome because of mixed things (which are
actually intended). :{

Adding multiple psalm suppress is bothersome too, and beberlei is not
(yet ?) compatible with psalm...
@Taluu Taluu merged commit 0b94817 into master Feb 6, 2020
@Taluu Taluu deleted the psalm branch February 6, 2020 13: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