Skip to content

fix bazel build#13787

Merged
bolinfest merged 1 commit intomainfrom
pr13786
Mar 6, 2026
Merged

fix bazel build#13787
bolinfest merged 1 commit intomainfrom
pr13786

Conversation

@bolinfest
Copy link
Copy Markdown
Collaborator

@bolinfest bolinfest commented Mar 6, 2026

I believe this broke in #13772.

@bolinfest bolinfest requested review from charley-oai and jif-oai March 6, 2026 19:58
@bolinfest bolinfest enabled auto-merge (squash) March 6, 2026 19:59
@bolinfest bolinfest disabled auto-merge March 6, 2026 20:12
@bolinfest bolinfest merged commit 7a5aff4 into main Mar 6, 2026
33 of 34 checks passed
@bolinfest bolinfest deleted the pr13786 branch March 6, 2026 20:12
@github-actions github-actions bot locked and limited conversation to collaborators Mar 6, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

2 participants