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 #13912

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:54
@github-actions github-actions bot force-pushed the jetbrains/backend-plugin-platform branch from 95ed0d9 to b7ba73c Compare October 17, 2022 11:54
@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/backend-plugin-platform branch from b7ba73c to 4fce67f 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: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/backend-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