Skip to content

Conversation

keertk
Copy link
Member

@keertk keertk commented Jul 26, 2023

@keertk keertk changed the title Update java_tools v12.6 Update java_tools v12.6 / rules_java 6.3.0 Jul 26, 2023
@keertk keertk marked this pull request as ready for review July 26, 2023 16:25
@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Jul 26, 2023
@keertk keertk added the team-Rules-Java Issues for Java rules label Jul 26, 2023
@keertk keertk requested review from hvadehra and meteorcloudy July 26, 2023 16:26
@keertk keertk added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Jul 26, 2023
@github-actions github-actions bot removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Jul 26, 2023
@keertk keertk deleted the keertk-java_tools-v12.6 branch November 21, 2023 18:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

team-Rules-Java Issues for Java rules

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants