Skip to content

[JetBrains] Update IDE images to new build version #17043

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

Merged
merged 1 commit into from
Mar 29, 2023

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Mar 27, 2023

Description

This PR updates the JetBrains IDE images to the most recent stable version.

How to test

  1. For each IDE changed on this PR, follow these steps:
  2. Open the preview environment generated for this branch
  3. Choose the stable version of the IDE that you're testing as your default editor
  4. Start a workspace using any repository (e.g: https://github.com/gitpod-io/empty)
  5. Verify that the workspace starts successfully
  6. Verify that the IDE opens successfully
  7. 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 JetBrains IDE images to most recent stable version.

Werft options:

  • /werft with-preview
  • /werft with-large-vm
  • /werft with-integration-tests=jetbrains
  • /werft with-werft
  • merge

This PR was created automatically with GitHub Actions using this GHA

@werft-gitpod-dev-com
Copy link

annotations in the pull request changed, but user is not allowed to start a job

@werft-gitpod-dev-com
Copy link

started the job as gitpod-build-jetbrains-update-stable-ides.100 because the annotations in the pull request description changed
(with .werft/ from main)

@github-actions github-actions bot force-pushed the jetbrains/update-stable-ides branch from a1e65c4 to ebadee3 Compare March 28, 2023 11:01
@werft-gitpod-dev-com
Copy link

annotations in the pull request changed, but user is not allowed to start a job

@roboquat roboquat merged commit 2b17af0 into main Mar 29, 2023
@roboquat roboquat deleted the jetbrains/update-stable-ides branch March 29, 2023 08:11
@roboquat roboquat added deployed: IDE IDE change is running in production deployed Change is completely running in production labels Apr 3, 2023
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 editor: jetbrains release-note size/XS team: IDE
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants