Skip to content

[JetBrains] Update Platform Version from JetBrains Gateway Plugin (EAP) #18493

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
Sep 1, 2023

Conversation

roboquat
Copy link
Contributor

Description

This PR updates the Platform Version from JetBrains Gateway Plugin (EAP) to the latest version.

How to test

Merge if tests are green, if something breaks then add tests for regressions.

if you want to test manually for some reasons
  1. Ensure you have the Gateway installed from JetBrains Toolbox App and have it up-to-date.
  • You should use Gateway version corresponding to plugin qualifier, i.e. for stable plugin test with released, for latest test with EAP.
  • It could be that a new Gateway is not published for the given SDK yet then wait for it to be published. You can check the build version in the About dialog.
  1. Download the plugin build related to this branch in Dev Versions, and install it on the Gateway.
  1. Create a new workspace from the Gateway (it's ok to use the pre-selected IDE and Repository) and confirm if JetBrains Client can connect to it.

Release Notes

NONE

Werft options:

  • /werft publish-to-jb-marketplace
  • /werft with-preview
  • /werft with-large-vm
  • /werft with-gce-vm
  • with-integration-tests=jetbrains
  • latest-ide-version=true

This PR was created automatically with GitHub Actions using this template.

@roboquat roboquat force-pushed the jetbrains/latest-gateway-plugin-platform branch 6 times, most recently from efe0567 to f0470f1 Compare August 21, 2023 11:00
@roboquat roboquat force-pushed the jetbrains/latest-gateway-plugin-platform branch 5 times, most recently from fa6c9c5 to c2b0e7d Compare August 28, 2023 11:00
@roboquat roboquat force-pushed the jetbrains/latest-gateway-plugin-platform branch 2 times, most recently from 9f94b48 to 11741ee Compare August 30, 2023 11:01
@roboquat roboquat force-pushed the jetbrains/latest-gateway-plugin-platform branch from 11741ee to d6f26b9 Compare August 31, 2023 11:00
@roboquat roboquat merged commit 063cfbe into main Sep 1, 2023
@roboquat roboquat deleted the jetbrains/latest-gateway-plugin-platform branch September 1, 2023 06:32
@mustard-mh mustard-mh self-assigned this Sep 1, 2023
@roboquat roboquat added deployed: IDE IDE change is running in production deployed Change is completely running in production labels Sep 1, 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 size/XS team: IDE
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants