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 222.3345.135 #11804

Merged
merged 1 commit into from
Aug 8, 2022

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Aug 2, 2022

Description

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

How to test

  1. Open the preview environment generated for this branch
  2. Choose the stable version of PhpStorm as your preferred editor
  3. Start a workspace using this repository: https://github.com/gitpod-io/template-php-laravel-mysql
  4. Verify that the workspace starts successfully
  5. Verify that the IDE opens successfully
  6. Verify that the version of the IDE corresponds to the one being updated in this PR

The following resources should help, in case something goes wrong (e.g. workspaces don't start):

Release Notes

Update PhpStorm IDE image to version 222.3345.135.

Werft options:

  • /werft with-preview

This PR was created automatically with GitHub Actions using this template

@github-actions github-actions bot force-pushed the jetbrains/phpstorm-222-3345-135 branch 2 times, most recently from f212d81 to 93df553 Compare August 4, 2022 11:02
@github-actions github-actions bot force-pushed the jetbrains/phpstorm-222-3345-135 branch from 93df553 to c29a25d Compare August 5, 2022 11:01
@andreafalzetti andreafalzetti self-requested a review August 8, 2022 08:35
@andreafalzetti andreafalzetti self-assigned this Aug 8, 2022
@andreafalzetti
Copy link
Contributor

andreafalzetti commented Aug 8, 2022

/werft run

👍 started the job as gitpod-build-jetbrains-phpstorm-222-3345-135.3
(with .werft/ from main)

Copy link
Contributor

@andreafalzetti andreafalzetti left a comment

Choose a reason for hiding this comment

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

@roboquat roboquat merged commit 210e6bf into main Aug 8, 2022
@roboquat roboquat deleted the jetbrains/phpstorm-222-3345-135 branch August 8, 2022 08:58
@roboquat roboquat added deployed: IDE IDE change is running in production deployed Change is completely running in production labels Aug 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
deployed: IDE IDE change is running in production deployed Change is completely running in production release-note size/XS team: IDE
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants