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

Update Platform Version from JetBrains Gateway Plugin #36

Open
wants to merge 8 commits into
base: main
Choose a base branch
from

Conversation

github-actions[bot]
Copy link

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.

@github-actions github-actions bot force-pushed the jetbrains/gateway-plugin-platform branch from a632f38 to dbeb441 Compare August 18, 2022 11:05
@default102 default102 force-pushed the main branch 7 times, most recently from 135e311 to da5c258 Compare August 25, 2022 16:32
@default102 default102 force-pushed the main branch 7 times, most recently from c3cf565 to e22e00e Compare September 1, 2022 16:33
@github-actions github-actions bot force-pushed the jetbrains/gateway-plugin-platform branch from dbeb441 to 095abce Compare September 2, 2022 11:07
@default102 default102 force-pushed the main branch 4 times, most recently from b65ca2a to 7c3ac03 Compare September 6, 2022 16:34
@github-actions github-actions bot force-pushed the jetbrains/gateway-plugin-platform branch from 095abce to 26dd652 Compare September 7, 2022 11:05
@github-actions github-actions bot force-pushed the jetbrains/gateway-plugin-platform branch from 26dd652 to 6183098 Compare September 8, 2022 11:07
@github-actions github-actions bot force-pushed the jetbrains/gateway-plugin-platform branch from 6183098 to 2e72bd6 Compare September 9, 2022 11:06
@default102 default102 force-pushed the main branch 3 times, most recently from 4707270 to 43525e4 Compare September 12, 2022 16:37
Copy link
Author

github-actions bot commented Jan 3, 2025

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

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