Skip to content

Update to WHIR PR217#293

Merged
Bisht13 merged 2 commits intomainfrom
xr/whir-217
Feb 17, 2026
Merged

Update to WHIR PR217#293
Bisht13 merged 2 commits intomainfrom
xr/whir-217

Conversation

@xrvdg
Copy link
Collaborator

@xrvdg xrvdg commented Feb 17, 2026

This PR incorporates the later changes in WizardOfMenlo/whir#217 that weren't captured in #288.

@xrvdg xrvdg requested a review from Bisht13 February 17, 2026 05:12
@Bisht13 Bisht13 merged commit 5ae4d1c into main Feb 17, 2026
3 of 5 checks passed
@Bisht13 Bisht13 deleted the xr/whir-217 branch February 17, 2026 09:31
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