Skip to content
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

Update JetBrains PhpStorm stubs to v2020.2 #4465

Merged
merged 2 commits into from
Mar 20, 2021

Conversation

morozov
Copy link
Member

@morozov morozov commented Dec 13, 2020

The newly suppressed issues are not reproducible in my local setup. In order to run dockerized Pslam as on GitHub actions but with human-readable output, run the following:

$ docker run --rm -e INPUT_COMPOSER_REQUIRE_DEV=true -v $PWD:/app vimeo/psalm-github-actions:4.6.4

@morozov morozov added this to the 2.12.2 milestone Dec 13, 2020
@morozov morozov marked this pull request as draft February 15, 2021 23:02
@morozov morozov removed this from the 2.12.2 milestone Feb 28, 2021
@morozov morozov force-pushed the phpstorm-stubs-2020.2 branch from 06b20db to c7628ab Compare March 7, 2021 02:29
@morozov morozov force-pushed the phpstorm-stubs-2020.2 branch from c7628ab to 5195017 Compare March 17, 2021 04:48
@morozov morozov mentioned this pull request Mar 17, 2021
@morozov morozov force-pushed the phpstorm-stubs-2020.2 branch from 5195017 to 540b1df Compare March 17, 2021 19:47
@morozov morozov force-pushed the phpstorm-stubs-2020.2 branch from 540b1df to 4330e8b Compare March 18, 2021 01:08
@morozov morozov added this to the 2.12.2 milestone Mar 18, 2021
@morozov morozov marked this pull request as ready for review March 19, 2021 20:30
@morozov morozov requested a review from greg0ire March 19, 2021 20:30
@morozov morozov merged commit b366d93 into doctrine:2.12.x Mar 20, 2021
@morozov morozov deleted the phpstorm-stubs-2020.2 branch March 20, 2021 20:30
@morozov morozov modified the milestones: 2.12.2, 2.13.0 Apr 8, 2021
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 23, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants