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.

Sign up for GitHub

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

Jump to bottom

Use Java 11 to build and develop the plugin #6153

Merged
merged 1 commit into from
Sep 23, 2020
Merged

Use Java 11 to build and develop the plugin #6153

merged 1 commit into from
Sep 23, 2020

Conversation

Undin
Copy link
Member

@Undin Undin commented Sep 23, 2020

It's required to build the plugin for 2020.3 platform

@Undin Undin added the internal Pull requests about internal improvements/fixes that don't affect users directly label Sep 23, 2020
@Undin
Copy link
Member Author

Undin commented Sep 23, 2020

bors r+

bors bot added a commit that referenced this pull request Sep 23, 2020
@bors @Undin
Merge #6153
71a1679 
6153: Use Java 11 to build and develop the plugin r=Undin a=Undin

It's required to build the plugin for 2020.3 platform

Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
@bors
Copy link
Contributor

bors bot commented Sep 23, 2020

Build failed:

  • check

@Undin
Copy link
Member Author

Undin commented Sep 23, 2020

bors retry

bors bot added a commit that referenced this pull request Sep 23, 2020
@bors @Undin
Merge #6153
f9f8d40 
6153: Use Java 11 to build and develop the plugin r=Undin a=Undin

It's required to build the plugin for 2020.3 platform

Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
@bors
Copy link
Contributor

bors bot commented Sep 23, 2020

Build failed:

  • check

@Undin
Copy link
Member Author

Undin commented Sep 23, 2020

bors r+

bors bot added a commit that referenced this pull request Sep 23, 2020
@bors @Undin
Merge #6153
3e98994 
6153: Use Java 11 to build and develop the plugin r=Undin a=Undin

It's required to build the plugin for 2020.3 platform

Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
@bors
Copy link
Contributor

bors bot commented Sep 23, 2020

Build failed:

  • check

@Undin
Copy link
Member Author

Undin commented Sep 23, 2020

bors retry

@bors
Copy link
Contributor

bors bot commented Sep 23, 2020

Build succeeded:

@bors bors bot merged commit 5aa0319 into master Sep 23, 2020
@bors bors bot deleted the undin/java11 branch September 23, 2020 20:45
@github-actions github-actions bot added this to the v132 milestone Sep 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vlad20012 vlad20012 vlad20012 left review comments

Assignees
No one assigned
Labels
internal Pull requests about internal improvements/fixes that don't affect users directly
Projects
None yet
Milestone
v132
Development

Successfully merging this pull request may close these issues.
2 participants
@Undin @vlad20012