-
Notifications
You must be signed in to change notification settings - Fork 43
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.
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
Rename WGPUDeviceLostReason_Undefined to Unknown #288
Conversation
Please check https://issues.chromium.org/issues/42241081 for more information and progress. webgpu-headers PR: webgpu-native/webgpu-headers#288.
I believe WGPUDeviceLostReason_Unknown should start with value 1, not 0 |
Please check https://issues.chromium.org/issues/42241081 for more information and progress. webgpu-headers PR: webgpu-native/webgpu-headers#288.
I have redefined the values for |
Hello Kai Ninomiya, could you please take a moment to review this PR? Thanks. |
Please check https://issues.chromium.org/issues/42241081 for more information and progress. webgpu-headers PR: webgpu-native/webgpu-headers#288.
Please check https://issues.chromium.org/issues/42241081 for more information and progress. webgpu-headers PR: webgpu-native/webgpu-headers#288.
Please check https://issues.chromium.org/issues/42241081 for more information and progress.
I also followed your instructions and kept |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'll link #223 from the summary.
As mentioned we don't actually need it for this repository. Sorry the state of things is confusing right now. Also apologies for the review delay! I removed |
I see what you mean, thank you very much for reviewing my PR. |
Please check
https://issues.chromium.org/issues/42241081 for
more information and progress.
@kainino0x @austinEng
Fixes #223