Skip to content

fix build#21261

Merged
bolinfest merged 1 commit intomainfrom
pr21261
May 5, 2026
Merged

fix build#21261
bolinfest merged 1 commit intomainfrom
pr21261

Conversation

@bolinfest
Copy link
Copy Markdown
Collaborator

@bolinfest bolinfest commented May 5, 2026

I believe a merge race in #20689 broke the build, so this is a quick fix.

cargo check --tests passed locally.

@bolinfest bolinfest merged commit 332b8b2 into main May 5, 2026
25 checks passed
@bolinfest bolinfest deleted the pr21261 branch May 5, 2026 23:02
@github-actions github-actions Bot locked and limited conversation to collaborators May 5, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants