Skip to content

Update Platform Version from JetBrains Backend Plugin #13949

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

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 18, 2022 11:02
@werft-gitpod-dev-com
Copy link

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

@felladrin
Copy link
Contributor

/hold until #13904 gets merged and this PR gets updated.

@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch from 58f18da to 071c61d Compare October 18, 2022 15:30
@felladrin felladrin force-pushed the jetbrains/backend-plugin-platform branch from 071c61d to a06d216 Compare October 19, 2022 08:59
@roboquat roboquat added size/S and removed size/XS labels Oct 19, 2022
@andreafalzetti
Copy link
Contributor

Moved to #13990

Do not merge :)

@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch from a06d216 to 053d199 Compare October 19, 2022 11:03
@roboquat roboquat added size/XS and removed size/S labels Oct 19, 2022
@andreafalzetti andreafalzetti marked this pull request as draft October 19, 2022 13:41
@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch 3 times, most recently from e3080a6 to cbf5ba3 Compare October 21, 2022 11:02
@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch from cbf5ba3 to 026b19c Compare October 24, 2022 11:05
@felladrin felladrin closed this Oct 25, 2022
@felladrin felladrin deleted the jetbrains/backend-plugin-platform branch October 25, 2022 09:48
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