Skip to content

Fix build #282

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jun 12, 2025
Merged

Fix build #282

merged 1 commit into from
Jun 12, 2025

Conversation

@LegNeato
Copy link
Collaborator

@LegNeato LegNeato commented Jun 12, 2025 •
edited by Firestar99
Loading

fixup for #281

@LegNeato LegNeato merged commit 30024f8 into Rust-GPU:main Jun 12, 2025
12 checks passed
Firestar99
Firestar99 approved these changes Jun 12, 2025
View reviewed changes
Copy link
Member

@Firestar99 Firestar99 left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

image

Github says you added that last commit after you submitted it to the merge queue, due to which it has probably not been merged like the rest.

@LegNeato
Copy link
Collaborator Author

LegNeato commented Jun 12, 2025

Fake news haha! They must have a race condition.

@LegNeato LegNeato deleted the fixbuild branch June 12, 2025 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Firestar99 Firestar99 Firestar99 approved these changes

@eddyb eddyb Awaiting requested review from eddyb eddyb is a code owner

@schell schell Awaiting requested review from schell schell is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@LegNeato @Firestar99