Skip to content

ci: use bazelisk not bazel#7731

Merged
vvbandeira merged 1 commit into
The-OpenROAD-Project:masterfrom
vvbandeira:bazel-bazelisk
Jul 6, 2025
Merged

ci: use bazelisk not bazel#7731
vvbandeira merged 1 commit into
The-OpenROAD-Project:masterfrom
vvbandeira:bazel-bazelisk

Conversation

@vvbandeira
Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Vitor Bandeira <vvbandeira@precisioninno.com>
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Jul 6, 2025

clang-tidy review says "All clean, LGTM! 👍"

@vvbandeira vvbandeira merged commit 12d9602 into The-OpenROAD-Project:master Jul 6, 2025
11 checks passed
@vvbandeira vvbandeira deleted the bazel-bazelisk branch July 6, 2025 22:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants