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

[8.0.0] Update rules_java v8.1.0 #23920

Merged
merged 2 commits into from
Oct 9, 2024
Merged

[8.0.0] Update rules_java v8.1.0 #23920

merged 2 commits into from
Oct 9, 2024

Conversation

hvadehra
Copy link
Member

@hvadehra hvadehra commented Oct 9, 2024

RELNOTES: Changes the default java language level to 11 (previously 8)

hvadehra and others added 2 commits October 9, 2024 15:50
Using a language version of 8 and running with jdk21 (or later) results in:

```
warning: [options] source value 8 is obsolete and will be removed in a future release
warning: [options] target value 8 is obsolete and will be removed in a future release
warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
```
PiperOrigin-RevId: 683542164
Change-Id: Id96bddac66812622015abf621a60327c5544c202

(cherry picked from commit 59fd9ea)
Closes #23909.

PiperOrigin-RevId: 683957756
Change-Id: I9d3fea6a9a68dbc40a39e98d0cf6b873635df68f
(cherry picked from commit 08ff8bb)
@hvadehra hvadehra marked this pull request as ready for review October 9, 2024 14:17
@hvadehra hvadehra requested a review from a team as a code owner October 9, 2024 14:17
@github-actions github-actions bot added team-Documentation Documentation improvements that cannot be directly linked to other team labels awaiting-review PR is awaiting review from an assigned reviewer labels Oct 9, 2024
@keertk keertk enabled auto-merge (squash) October 9, 2024 16:06
@keertk keertk self-requested a review October 9, 2024 16:06
@keertk keertk merged commit c481551 into release-8.0.0 Oct 9, 2024
49 checks passed
@github-actions github-actions bot removed the awaiting-review PR is awaiting review from an assigned reviewer label Oct 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
team-Documentation Documentation improvements that cannot be directly linked to other team labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants