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

[JetBrains] Update Platform Version from JetBrains Gateway Plugin (Stable) #18913

Merged
merged 1 commit into from
Oct 13, 2023

Conversation

roboquat
Copy link
Contributor

Description

This PR updates the Platform Version from JetBrains Gateway Plugin (Stable) 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=false

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

@laushinka
Copy link
Contributor

@selfcontained Would you mind taking care of this PR as L2? :)

@roboquat roboquat force-pushed the jetbrains/stable-gateway-plugin-platform branch from f6442d3 to d361c37 Compare October 13, 2023 11:00
@roboquat roboquat merged commit ae05b2c into main Oct 13, 2023
21 checks passed
@roboquat roboquat deleted the jetbrains/stable-gateway-plugin-platform branch October 13, 2023 15:04
@roboquat roboquat added the deployed: IDE IDE change is running in production label Oct 16, 2023
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