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 Backend Plugin #13907

Closed
wants to merge 2 commits 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 17, 2022 11:04
@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch from 54682c1 to cefe3f8 Compare October 17, 2022 11:04
@werft-gitpod-dev-com
Copy link

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

@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch from cefe3f8 to 95ed0d9 Compare October 17, 2022 11:44
@roboquat roboquat added size/S and removed size/XS labels Oct 17, 2022
@felladrin
Copy link
Contributor

Closed because of #13904.

@felladrin felladrin closed this Oct 17, 2022
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