Skip to content

Conversation

@bazel-io
Copy link
Member

Fixes #14418

Closes #22420.

PiperOrigin-RevId: 635740423
Change-Id: Iffd4d172c4175be2e1b6cfad04ddad2759adb987

Commit 01a90d6

Fixes bazelbuild#14418

Closes bazelbuild#22420.

PiperOrigin-RevId: 635740423
Change-Id: Iffd4d172c4175be2e1b6cfad04ddad2759adb987
@bazel-io bazel-io requested a review from a team as a code owner May 21, 2024 18:20
@bazel-io bazel-io added team-Rules-Server Issues for serverside rules included with Bazel awaiting-review PR is awaiting review from an assigned reviewer labels May 21, 2024
@bazel-io bazel-io requested a review from comius May 21, 2024 18:20
@iancha1992 iancha1992 enabled auto-merge May 21, 2024 18:25
@iancha1992 iancha1992 added this pull request to the merge queue May 21, 2024
Merged via the queue into bazelbuild:release-7.2.0 with commit 87b0a1f May 21, 2024
@github-actions github-actions bot removed the awaiting-review PR is awaiting review from an assigned reviewer label May 21, 2024
@comius
Copy link
Contributor

comius commented May 22, 2024

@Wyverald: this change only passed nightly tests today and I wasn't sure it would.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

team-Rules-Server Issues for serverside rules included with Bazel

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants