-
-
Notifications
You must be signed in to change notification settings - Fork 4.7k
[stable20] Use own psalm instead of a global one #23480
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
c943972 to
ecbc400
Compare
|
Psalm failed too hard. Let's try with an updated baseline … |
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
One. And I'm not sure why the check is different locally and on CI … |
|
Ah so two more errors. But for some reasons the baseline update doesn't capture those … Can you reproduce the failure locally? |
|
|
🤖 beep boop beep 🤖 Here are the logs for the failed build: Status of 34219: failuremariadb10.4-php7.3Show full log |
00ab678 to
994fa3a
Compare
How many engineers does it take to make Psalm pass? |
994fa3a to
8545d18
Compare
Yo … |
8545d18 to
68cbfe1
Compare
Signed-off-by: Morris Jobke <[email protected]>
Signed-off-by: Morris Jobke <[email protected]>
a05eb3d to
7054159
Compare
MorrisJobke
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
CI is green 👍 🙌
|
Administrative only -> merge |
backport of #23401