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

[doc] Bump Bazel minimum version to 5.1 #20263

Merged
merged 1 commit into from
Sep 30, 2023

Conversation

jwnimmer-tri
Copy link
Collaborator

@jwnimmer-tri jwnimmer-tri commented Sep 26, 2023

This was already true in practice; our docs just missed it. The @vtk_internal rules use bazelbuild/bazel#14835.

Amends #19945.

+@rpoyner-tri for both reviews, please.


This change is Reviewable

@jwnimmer-tri jwnimmer-tri added priority: low status: single reviewer ok https://drake.mit.edu/reviewable.html release notes: none This pull request should not be mentioned in the release notes labels Sep 26, 2023
Copy link
Contributor

@rpoyner-tri rpoyner-tri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: LGTM missing from assignee rpoyner-tri(platform)

This was already true in practice; our docs just missed it.
Copy link
Contributor

@rpoyner-tri rpoyner-tri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewed 1 of 1 files at r2, all commit messages.
Reviewable status: :shipit: complete! all discussions resolved, LGTM from assignee rpoyner-tri(platform)

@rpoyner-tri rpoyner-tri merged commit 6a8f832 into RobotLocomotion:master Sep 30, 2023
1 check passed
@jwnimmer-tri jwnimmer-tri deleted the bazel-min-510 branch September 30, 2023 22:50
WawasCode pushed a commit to WawasCode/drake that referenced this pull request Oct 31, 2023
This was already true in practice; our docs just missed it.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
priority: low release notes: none This pull request should not be mentioned in the release notes status: single reviewer ok https://drake.mit.edu/reviewable.html
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants