Skip to content

Update java_tools v12.7 / rules_java 6.3.1#19500

Closed
keertk wants to merge 11 commits intomasterfrom
keertk-java_tools-v12.7
Closed

Update java_tools v12.7 / rules_java 6.3.1#19500
keertk wants to merge 11 commits intomasterfrom
keertk-java_tools-v12.7

Conversation

@keertk
Copy link
Copy Markdown
Member

@keertk keertk commented Sep 12, 2023

@keertk keertk changed the title Update java_tools v12.7 / rules_java 6.6.0 Update java_tools v12.7 / rules_java 7.0.0 Sep 13, 2023
@keertk keertk changed the title Update java_tools v12.7 / rules_java 7.0.0 Update java_tools v12.7 / rules_java 6.3.1 Sep 14, 2023
@keertk keertk marked this pull request as ready for review September 14, 2023 17:51
@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Sep 14, 2023
@keertk keertk added the team-Rules-Java Issues for Java rules label Sep 14, 2023
@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 Sep 14, 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 Sep 15, 2023
keertk added a commit that referenced this pull request Sep 15, 2023
@keertk keertk deleted the keertk-java_tools-v12.7 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