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

Support and switch to Java 17 everywhere except CentOS 7 #6190

Merged
merged 2 commits into from Jun 20, 2023
Merged

Support and switch to Java 17 everywhere except CentOS 7 #6190

merged 2 commits into from Jun 20, 2023

Conversation

Jackenmen
Copy link
Member

@Jackenmen Jackenmen commented Jun 18, 2023 •
edited

Description of the changes

Also adds Debian 12 install guide since it doesn't have Java 11.

Have the changes in this PR been tested?

Yes

Install tests can be found here:
https://cirrus-ci.com/build/4950515914637312
https://github.com/Jackenmen/Red-Install-Tests/actions/runs/5300865214

@github-actions github-actions bot added Category: Cogs - Audio This is related to the Audio cog. Category: Docs - Other This is related to documentation that doesn't have its dedicated label. Category: Docs - Install Guides This is related to install guides. labels Jun 18, 2023
@Jackenmen Jackenmen added this to the 3.5.3 milestone Jun 18, 2023
@aikaterna aikaterna self-assigned this Jun 18, 2023
@Jackenmen Jackenmen added Type: Enhancement Something meant to enhance existing Red features. Type: Dependency Update Adding/updating/removing some of Red’s dependencies. labels Jun 18, 2023
@Jackenmen Jackenmen modified the milestones: 3.5.4, 3.5.3 Jun 19, 2023
@aikaterna aikaterna mentioned this pull request Jun 19, 2023
Closed
@Jackenmen Jackenmen merged commit 8acc1c3 into Cog-Creators:V3/develop Jun 20, 2023
19 checks passed
@red-githubbot red-githubbot bot added the Changelog Entry: Pending Changelog entry for this PR hasn't been added by repo maintainers yet. label Jun 20, 2023
@Jackenmen Jackenmen deleted the switch_to_java_17 branch June 20, 2023 09:36
@Jackenmen Jackenmen added Changelog Entry: Added Changelog entry for this PR has already been added to changelog PR. and removed Changelog Entry: Pending Changelog entry for this PR hasn't been added by repo maintainers yet. labels Jul 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aikaterna aikaterna aikaterna approved these changes

@PredaaA PredaaA Awaiting requested review from PredaaA PredaaA is a code owner

Assignees

@aikaterna aikaterna

Labels
Category: Cogs - Audio This is related to the Audio cog. Category: Docs - Install Guides This is related to install guides. Category: Docs - Other This is related to documentation that doesn't have its dedicated label. Changelog Entry: Added Changelog entry for this PR has already been added to changelog PR. Type: Dependency Update Adding/updating/removing some of Red’s dependencies. Type: Enhancement Something meant to enhance existing Red features.
Projects
None yet
Milestone
3.5.3
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Jackenmen @aikaterna