Skip to content

Update Platform Version from JetBrains Backend Plugin #13578

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 1 commit into from

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Oct 4, 2022

Description

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

How to test

  1. Open the preview environment generated for this branch
  2. Choose the Latest Release (Unstable) version of IntelliJ IDEA as your preferred editor
  3. Start a workspace using this repository: https://github.com/gitpod-io/spring-petclinic
  4. Verify that the workspace starts successfully
  5. Verify that the IDE opens successfully

Release Notes

NONE

Werft options:

  • /werft with-preview

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

@github-actions github-actions bot requested a review from a team October 4, 2022 11:01
@werft-gitpod-dev-com

This comment was marked as resolved.

@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch from b8ec6a3 to dc2e2d9 Compare October 5, 2022 11:02
@felladrin felladrin self-assigned this Oct 5, 2022
@felladrin felladrin marked this pull request as draft October 5, 2022 17:49
@felladrin felladrin force-pushed the jetbrains/backend-plugin-platform branch from dc2e2d9 to 86831da Compare October 5, 2022 17:51
@roboquat roboquat added size/L and removed size/XS labels Oct 5, 2022
@felladrin felladrin force-pushed the jetbrains/backend-plugin-platform branch 2 times, most recently from 353ca51 to 3727819 Compare October 6, 2022 08:45
@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch from 3727819 to 5286bfb Compare October 6, 2022 11:02
@roboquat roboquat added size/XS and removed size/L labels Oct 6, 2022
@felladrin
Copy link
Contributor

felladrin commented Oct 6, 2022

This should keep on hold until #13747 is merged. After that we close this PR.

@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch 4 times, most recently from 7de22f0 to ebc25da Compare October 12, 2022 11:02
@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch from ebc25da to 11871d8 Compare October 13, 2022 11:02
@felladrin
Copy link
Contributor

Now that we merged #13747, which updated the backend-plugin platform version, this PR can be closed.

@felladrin felladrin closed this Oct 14, 2022
@felladrin felladrin deleted the jetbrains/backend-plugin-platform branch October 14, 2022 00:46
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