Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

chore: use bazelisk instead of bazel in instructions #1003

Merged
merged 1 commit into from
Feb 24, 2025
Merged

chore: use bazelisk instead of bazel in instructions #1003

merged 1 commit into from
Feb 24, 2025

Conversation

tongke6
Copy link
Contributor

@tongke6 tongke6 commented Feb 24, 2025

No description provided.

@tongke6 tongke6 requested review from w-gc and FollyCoolly February 24, 2025 08:23
w-gc
w-gc approved these changes Feb 24, 2025
View reviewed changes
Copy link
Collaborator

@w-gc w-gc left a comment

Choose a reason for hiding this comment

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

LGTM

@tongke6 tongke6 merged commit 48fb34f into main Feb 24, 2025
9 checks passed
@tongke6 tongke6 deleted the tk/use-bazelisk branch February 24, 2025 08:39
@github-actions github-actions bot locked and limited conversation to collaborators Feb 24, 2025
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Reviewers

@w-gc w-gc w-gc approved these changes

@FollyCoolly FollyCoolly Awaiting requested review from FollyCoolly

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@tongke6 @w-gc