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

[phpstorm] Update IDE image to build version 213.6461.83 #7407

Merged
merged 1 commit into from
Jan 4, 2022

Conversation

github-actions[bot]
Copy link
Contributor

Description

This PR updates the PhpStorm IDE image to the latest release version.

How to test

Go to the preferences and select PhpStorm as desktop IDE. Start a workspace and verify that the new IDE version works.

Release Notes

Update PhpStorm IDE image to version 213.6461.83.

@github-actions github-actions bot force-pushed the jetbrains/phpstorm-213-6461-83 branch from c71700e to 37c6c7b Compare January 3, 2022 11:01
@jeanp413
Copy link
Member

jeanp413 commented Jan 3, 2022

@akosyakov Do we have a company license or should I just use the trial version?

@akosyakov
Copy link
Member

@jeanp413 You can use trial for now.

Copy link
Member

@jeanp413 jeanp413 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

/lgtm

@roboquat
Copy link
Contributor

roboquat commented Jan 4, 2022

LGTM label has been added.

Git tree hash: c49e9c1a5dc6bd09e498e1267e816c53c4035a85

@jeanp413
Copy link
Member

jeanp413 commented Jan 4, 2022

/approve no-issue

@roboquat
Copy link
Contributor

roboquat commented Jan 4, 2022

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: jeanp413

Associated issue requirement bypassed by: jeanp413

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@roboquat roboquat merged commit 2c8b59b into main Jan 4, 2022
@roboquat roboquat deleted the jetbrains/phpstorm-213-6461-83 branch January 4, 2022 02:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants