update bazel #503
Merged
update bazel #503
Mergify / Rule: merge using the merge queue (queue)
succeeded
May 22, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 1c8d3fe
Loading