Skip to content

Update Platform Version from JetBrains Gateway Plugin #13911

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

Closed
wants to merge 2 commits into from

Conversation

github-actions[bot]
Copy link
Contributor

Description

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

How to test

  1. Ensure you have the latest JetBrains Gateway installed.
  2. Download the plugin build related to this branch in Dev Versions, and install it on the Gateway.
  3. 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 with-preview

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

@werft-gitpod-dev-com
Copy link

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

@felladrin felladrin force-pushed the jetbrains/update-also-plugin-since-build-property branch from 3ef23b4 to 031cfab Compare October 17, 2022 11:55
@github-actions github-actions bot force-pushed the jetbrains/gateway-plugin-platform branch from a917e87 to b3ccbd7 Compare October 17, 2022 12:00
@felladrin felladrin changed the base branch from jetbrains/update-also-plugin-since-build-property to main October 17, 2022 12:04
@roboquat roboquat added size/S and removed size/XS labels Oct 17, 2022
@felladrin felladrin changed the base branch from main to jetbrains/update-also-plugin-since-build-property October 17, 2022 12:05
@roboquat roboquat added size/XS and removed size/S labels Oct 17, 2022
@felladrin felladrin changed the base branch from jetbrains/update-also-plugin-since-build-property to main October 17, 2022 12:06
@felladrin
Copy link
Contributor

Closing it as it was just a test-run from #13904.

@felladrin felladrin closed this Oct 17, 2022
@felladrin felladrin deleted the jetbrains/gateway-plugin-platform branch October 17, 2022 12:10
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.

2 participants