[stable20] Use own psalm instead of a global one#23480
Merged
MorrisJobke merged 4 commits intostable20from Oct 16, 2020
Merged
Conversation
c943972 to
ecbc400
Compare
Member
|
Psalm failed too hard. Let's try with an updated baseline … |
Member
There are still some :/ |
Signed-off-by: Christoph Wurst <[email protected]>
ecbc400 to
e05b7e4
Compare
Signed-off-by: Christoph Wurst <[email protected]>
e05b7e4 to
6536501
Compare
Member
One. And I'm not sure why the check is different locally and on CI … |
Member
|
Ah so two more errors. But for some reasons the baseline update doesn't capture those … Can you reproduce the failure locally? |
Member
|
|
🤖 beep boop beep 🤖 Here are the logs for the failed build: Status of 34219: failuremariadb10.4-php7.3Show full log |
00ab678 to
994fa3a
Compare
Member
How many engineers does it take to make Psalm pass? |
994fa3a to
8545d18
Compare
Member
Yo … |
8545d18 to
68cbfe1
Compare
Signed-off-by: Morris Jobke <[email protected]>
Signed-off-by: Morris Jobke <[email protected]>
a05eb3d to
7054159
Compare
Member
|
Administrative only -> merge |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
backport of #23401